Abstract
In 1962, C.A. Petri introduced in his Ph.D. thesis [351] a formalism for describing distributed processes by extending state machines with a notion of concurrency. Due to the simple and intuitive, but at the same time formal and expressive, nature of his formalism, Petri Nets became an established tool for modelling and analyzing distributed processes in business as well as the IT sector. This chapter gives a brief introduction to the theory of Petri Nets and shows how Petri Nets can be applied for effective workflow management with regard to the choreography, orchestration, and enactment of e-Science applications. While choreography deals with the abstract modelling of applications, orchestration deals with the mapping onto concrete software components and the infrastructure. During the enactment of e-Science applications, runtime issues, such as synchronization, persistence, transaction safety, and fault management, are examined within the workflow formalism.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this chapter
Cite this chapter
Hoheisel, A., Alt, M. (2007). Petri Nets. In: Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (eds) Workflows for e-Science. Springer, London. https://doi.org/10.1007/978-1-84628-757-2_13
Download citation
DOI: https://doi.org/10.1007/978-1-84628-757-2_13
Publisher Name: Springer, London
Print ISBN: 978-1-84628-519-6
Online ISBN: 978-1-84628-757-2
eBook Packages: Computer ScienceComputer Science (R0)