Conceptual modeling of concurrent information systems with general morphisms of Petri nets

Development of complex concurrent information systems is very often performed in top-down or bottom-up approach depending on design circumstances. 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. In particular, for general morphisms of Petri nets, we study their structural and behavioral properties and we use Petri net model of Peterson's mutual exclusion algorithm to illustrate a step-wise process of bottom-up abstraction.