Michel dos Santos Soares. Modeling and analysis of discrete event systems using a Petri net component. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011. pages 814-819, IEEE, 2011. [doi]
Abstract is missing.