On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets. - N. Somnath; R. S. Sreenivas (IEEE Trans Autom. Sci. Eng., 2013)

On supervisory policies that enforce liveness in controlled Petri nets that are similar. - E. Salimi; N. Somnath; Ramavarapu S. Sreenivas (RAM/CIS, 2015)

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 (J. Intell. Manuf., 2015)