DocumentCode
411597
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
Volume
1
fYear
2004
fDate
21-23 March 2004
Firstpage
682
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Networking, Sensing and Control, 2004 IEEE International Conference on
ISSN
1810-7869
Print_ISBN
0-7803-8193-9
Type
conf
DOI
10.1109/ICNSC.2004.1297522
Filename
1297522
Link To Document