Stepwise abstractions of workflow systems using Petri net morphisms

In this paper we study the application of Petri net morphism to the development of complex concurrent systems, in particular workflow systems. First, we define several versions of Petri net morphisms. Secondly, we present an example of an online shopping system with stepwise abstraction using Petri net morphisms. Our development approach is bottom up.