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.
Published in:
Networking, Sensing and Control, 2004 IEEE International Conference on
(Volume:1
)
Date of Conference: 21-23 March 2004