Authors: Boleslaw Mikolajczak, Zuyan Wang
Tags: 2003, conceptual modeling
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.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-540-39648-2_34
