Reachability analysis for a class of Petri nets

Yu Ru, Christoforos N. Hadjicostis. Reachability analysis for a class of Petri nets. In Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China. pages 1261-1266, IEEE, 2009. [doi]

Abstract

Abstract is missing.