Title :
Stepwise abstractions of workflow systems using Petri net morphisms
Author :
Mikolajczak, Boleslaw ; Wang, Zuyan
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Dartmouth, MA, USA
Abstract :
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.
Keywords :
Petri nets; home shopping; workflow management software; Petri net morphisms; complex concurrent systems; online shopping system; stepwise abstraction; workflow system; Application software; Computer science; Concurrent computing; Data mining; Graphics; Information technology; Modeling; Performance analysis; Petri nets; Safety;
Conference_Titel :
Networking, Sensing and Control, 2004 IEEE International Conference on
Print_ISBN :
0-7803-8193-9
DOI :
10.1109/ICNSC.2004.1297522
