Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement using Petri Net Morphisms Boleslaw Mikolajczak and Zuyan Wang   View Paper (PDF)   Return to Innovative Approaches to Conceptual Modeling 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. ©2005 Association for Computing Machinery