Boleslaw Mikolajczak, Zuyan Wang. Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. In Il-Yeol Song, Stephen W. Liddle, Tok Wang Ling, Peter Scheuermann, editors, Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings. Volume 2813 of Lecture Notes in Computer Science, pages 433-445, Springer, 2003. [doi]
Abstract is missing.