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

On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets. - E. Salimi; R. S. Sreenivas (IEEE Trans. Autom. Control., 2015)