Radek Kocí, Vladimír Janousek. System Design with Object Oriented Petri Nets Formalism. In Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta. pages 421-426, IEEE Computer Society, 2008. [doi]