Lindsay V. Allen, Dawn M. Tilbury. Necessary condition for a Petri net model that incorporates resources to produce an event stream from an unknown initial state. In American Control Conference, ACC 2011, San Francisco, CA, USA, June 29 - July 1, 2011. pages 2393-2398, IEEE, 2011. [doi]
Abstract is missing.