Process Modeling using Petri Nets

Process-Aware Information Systems: Bridging People and Software through Process Technology

Volumn , Issue , 2005, Pages 147-177

  Desel, Jörg ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

Behavior modeling; Petri net; Process modeling; Refinement; Resource modeling

Indexed keywords

EID: 43149099351     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/0471741442.ch7     Document Type: Chapter

References (22)

1. W. M. P. van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998).
2. W. M. P. van der Aalst, J. Desel, and A. Oberweis (Eds.). Business Process Management: Models, Techniques and Empirical Studies. LNCS 1806, Springer-Verlag (2000).
3. W. M. P. van der Aalst and K. van Hee. Workflow Management-Models, Methods and Systems. MIT Press (2000).
4. W. M. P. van der Aalst, A. ter Hofstede, and M. Weske (Eds.). Proceedings of Business Process Management (BPM 2003). LNCS 2678, Springer-Verlag (2003).
5. W. M. P. van der Aalst. Business process management demystified: A tutorial on models, systems and standards for workflow management. In J. Desel, W. Reisig, and G. Rozenberg (Eds.). Lectures on Concurrency and Petri Nets, LNCS 3098, Springer-Verlag (2004), pp. 1-65.
6. F. Bause and P. S. Kritzinger. Stochastic Petri Nets, 2nd ed., Vieweg (2002).
7. E. Börger and R. Stärk. Abstract State Machines-A Method for High-Level System Design. Springer-Verlag (2003).
8. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press (1995).
9. J. Desel. Basic linear algebraic techniques for place/transition nets. In W. Reisig and G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, LNCS 1491, Springer-Verlag (1998), pp. 257-308.
10. J. Desel. Validation of process models by construction of process nets. In W.M.P. van der Aalst, J. Desel, and A. Oberweis (Eds.). Business Process Management: Models, Techniques and Empirical Studies. LNCS 1806, Springer-Verlag (2000), pp. 108-126.
11. J. Desel and T. Erwin. Modelling, simulation and analysis of business processes. In W. M. P. van der Aalst, J. Desel, and A. Oberweis (Eds.). Business Process Management: Models, Techniques and Empirical Studies. LNCS 1806, Springer-Verlag (2000), pp. 127-139.
12. J. Desel and G. Juhás. What is a Petri net? Informal answers for the informed reader. In H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg (Eds.), Unifying Petri Nets, LNCS 2128, Springer-Verlag (2001), pp. 1-25.
13. J. Desel and T. Erwin. Quantitative engineering of business processes with VIPbusiness. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber (Eds.), Petri Net Technology for Communication-Based Systems, LNCS 2472, Springer-Verlag (2003), pp. 219-242.
14. J. Desel, B. Pernici, and M. Weske (Eds.). Proceedings of Business Process Management (BPM 2004). LNCS 3080, Springer-Verlag (2004).
15. J. Desel, W. Reisig, and G. Rozenberg (Eds.). Lectures on Concurrency and Petri Nets. LNCS 3098, Springer-Verlag (2004).
16. K. Jensen. Coloured Petri Nets. Volumes I-III. Springer-Verlag (1992-1997).
17. M. Ajmone Marsan, G. Balbo, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley (1995).
18. A. Oberweis and P. Sander. Information system behavior specification by high-level Petri nets. ACM Transactions on Information Systems 14(4), 380-420 (1996).
19. W. Reisig. A Primer in Petri Net Design. Springer-Verlag (1992).
20. W. Reisig and G. Rozenberg (Eds.). Lectures on Petri Nets. I: Basic Models. Lectures on Petri Nets. II: Applications. LNCS 1491/1492, Springer-Verlag (1998).
21. D. T. Ross. Structured Analysis (SA): A language for communicating ideas. IEEE Transactions on Software Engineering, SE-3, 1, 16-34 (1977).
22. M. Weber and E. Kindler. The Petri net markup language. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber (Eds.), Petri Net Technology for Communication-Based Systems, LNCS 2472, Springer-Verlag (2003), pp. 124-144.