The following publications are possibly variants of this publication:
- 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]
- 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]
- Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri NetsA. Raman, R. S. Sreenivas. SMC 2019: 2372-2377 [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 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]
- On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri netsRamavarapu S. Sreenivas. cdc 2000: 2651-2656 [doi]