In: Conceptual Modeling - ER 2003, pages 433-445. Volume 2813 of Lecture Notes in Computer Science --- Springer-Verlag, October 2003.
Abstract: Development of complex concurrent systems is very often performed in a top-down or bottom-up approach depending on design circumstances. Such design reflects vertical conceptual modeling of concurrent systems with certain number of abstraction/ refinement layers. Petri net morphisms have been proven to be useful in this process as long as certain desired structural and behavioral properties of such systems are preserved. We use example of a renting agency to illustrate applicability of morphisms in systematic development of distributed systems. Preservation of structural and behavioral properties of Petri net morphisms is also discussed.
Keywords: Petri net morphisms; abstraction; refinement.