Ramavarapu S. Sreenivas. On partially controlled Petri nets that can be made live by supervision. In 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003. pages 3730-3734, IEEE, 2003. [doi]
Abstract is missing.