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]
@article{SomnathS13, title = {On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets}, author = {N. Somnath and R. S. Sreenivas}, year = {2013}, doi = {10.1109/TASE.2012.2227961}, url = {http://dx.doi.org/10.1109/TASE.2012.2227961}, researchr = {https://researchr.org/publication/SomnathS13}, cites = {0}, citedby = {0}, journal = {IEEE T. Automation Science and Engineering}, volume = {10}, number = {4}, pages = {1157-1160}, }