A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems

S. Chandrasekaran, N. Somnath, R. S. Sreenivas

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems'. Together they form a unique fingerprint.

Engineering & Materials Science