Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
N. Somnath, R. S. Sreenivas. On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets. IEEE T. Automation Science and Engineering, 10(4):1157-1160, 2013. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory PoliciesR. S. Sreenivas. tsmc, 43(5):1256-1261, 2013. [doi] On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri NetsR. S. Sreenivas. tac, 57(2):435-449, 2012. [doi] On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri netsRamavarapu S. Sreenivas. cdc 2000: 2651-2656 [doi] Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri netsRamavarapu S. Sreenivas. mcs, 70(5-6):266-274, 2006. [doi] On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri netsS. Chandrasekaran, R. S. Sreenivas. icnsc 2013: 392-397 [doi] On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri netsRamavarapu S. Sreenivas. tac, 42(7):928-945, 1997. [doi]
The following publications are possibly variants of this publication: