The following publications are possibly variants of this publication:
- 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 Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri NetsN. Somnath, R. S. Sreenivas. tase, 10(4):1157-1160, 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]
- 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 a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory PoliciesR. S. Sreenivas. tsmc, 43(5):1256-1261, 2013. [doi]
- On supervisory policies that enforce liveness in controlled Petri nets that are similarE. Salimi, N. Somnath, Ramavarapu S. Sreenivas. ram 2015: [doi]
- On Liveness Enforcing Supervisory Policies for Arbitrary Petri NetsChen Chen 0009, Arun Raman, HeSuan Hu, Ramavarapu S. Sreenivas. tac, 65(12):5236-5247, 2020. [doi]
- 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-systemsS. Chandrasekaran, N. Somnath, R. S. Sreenivas. jim, 26(5):945-958, 2015. [doi]
- An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri NetsRamavarapu S. Sreenivas. automatica, 34(12):1613-1615, 1998. [doi]
- On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri NetsRamavarapu S. Sreenivas. deds, 7(2):191-208, 1997. [doi]
- On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinementRamavarapu S. Sreenivas. tac, 44(1):173-177, 1999. [doi]
- On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitionsRamavarapu S. Sreenivas. tac, 44(6):1221-1225, 1999. [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]