Normalized workflow net (NWF-net): Its definition and properties

Future Generation Computer Systems

Volumn 21, Issue 7, 2005, Pages 1004-1014

  Li, Shuyou ^a   Song, Binheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Context free language; NWF net; Petri net; Soundness

Indexed keywords

COMPUTATIONAL METHODS; CONTEXT FREE LANGUAGES; MATHEMATICAL MODELS; PROBLEM SOLVING;

NWF-NETS; SOUNDNESS; WORKFLOW NET MODELS;

PETRI NETS;

EID: 27544476911     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2005.02.003     Document Type: Article

References (16)

1. T. Murata, Petri nets: properties, analysis, and applications, Proc. IEEE 77 (1989) 541-580.
2. K. Salimifard, M. Wright, Petri net-based modeling of Workflow systems: an overview, Eur. J. Oper. Res. 134 (2001) 664-676.
3. K. Jensen, Colored Petri nets: basic concepts, analysis methods and practical use, in: EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1996.
4. W.M. Zuberek, Timed Petri nets: definitions, properties and applications, Microelectron. Reliab. Spec. Petri Nets Relat. Graph Models 31 (1991) 626-644.
5. C.A. Lakos, From colored Petri nets to object Petri nets, in: Proceedings of the Application and Theory of Petri Nets, LNCS 935, 1995, pp. 278-297.
6. G. Florin, S. Natkin, Evaluation based upon stochastic Petri nets on the maximum throughput of a full duplex protocol, in: Application and Theory of Petri Nets. LNCS 52, Springer-Verlag, New York, 1982.
7. W.M.P. van der Aalst, K. van Hee, Workflow Management: Models, Methods and Systems, The MIT press, 2002.
8. H.-C. Yen, On the regularity of Petri net languages, Inform. Comput. 124 (1996) 168-181.
9. W.M.P. van der Aalst, Workflow verification: finding controlflow errors using Petri-net based techniques, in: Business Process Management - Models Techniques and Empirical Studies, LNCS 1806, 2000, pp. 161-183.
10. W.M.P. van der Aalst, Verification of workflow nets Application and Theory of Petri Nets, LNCS 1248, Springer-Verlag, Berlin, 1997, pp. 407-426.
11. Web definitions for workflow, http://www.documentmanagement.org.uk/pages/ glossary.htm.
12. W.M.P. van der Aalst, et al., Workflow patterns, Distr. Parallel Database 14 (2003) 5-51.
13. Advanced Workflow Patterns, LNCS 1901, 2000, pp. 18-29.
14. R. Esser, J.W. Janneck, Moses: a tool suite for visual modeling of discrete-event systems, in: Proceedings of the Symposium on Visual/Multimedia Approaches to Programming and Software Engineering, HCC'01, Stresa, Italy, 2001, pp. 416-423.
15. R. Lipton, The Reachability Problem and the Boundedness Problem for Petri Nets are Exponential Space Hard, Presented at MIT Conference on Petri Nets and Related Methods, MIT, Cambridge, 1975.
16. N.D. Jones, L.H. Landweeer, Y.E. Aadnlxen, Complexity of some problems in Petri nets, Theor. Comput. Sci. (1977) 277-299.