Abstract
The major aim of this chapter is to describe an approach towards the development of techniques and tools to support the construction, validation and the verification of Petri net models of information systems and business processes. To this end, the behavior of the models is defined by partially ordered causal runs, represented by process nets. We discuss how these runs are constructed and visualized for validation purposes, and how they are analyzed. Moreover, we demonstrate how different dynamic properties can be formulated and checked by searching respective patterns in process nets.
work done within the project VIP, supported by the DFG (Deutsche Forschungsgemeinschaft)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. Best and C. Fernandez C: Nonsequential Processes. Springer-Verlag (1988)
J. Desel, A. Oberweis and T. Zimmer: Simulation based analysis of distributed information system behavior. 8th European Simulation Symposium ESS96, Genua, pp. 319–323 (1996)
J. Desel, T. Freytag and A. Oberweis: Prozesse, Simulation und Eigenschaften netzmodellierter Systeme. Entwurf komplexer Automatisierungssysteme, Braunschweig, pp. 141–161 (1997)
J. Desel, T. Freytag and A. Oberweis: Causal semantic based simulation and validation of high-level Petri nets. 11th European Simulation Multiconference, Istanbul, pp. 826–830 (1997)
J. Desel, T. Freytag, A. Oberweis and T. Zimmer: A partial-order based simulation and validation approach for high-level Petri nets. 15th IMACS World Congress, Berlin. Volume 4. Wissenschaft und Technik Verlag Berlin, pp. 351–366 (1997)
J. Desel and T. Erwin: Modeling, simulation and analysis of business processes. In this volume.
J. Desel and W. Reisig: Place/transition Petri nets. Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science Vol. 1492, pp. 122–173, Springer-Verlag (1999)
J. Esparza: Model checking using net unfoldings. Science of Computer Programming 23, pp. 151–195 (1994)
T. Freytag: Ablaufvisualisierung durch topologisch angeordnete Kausalnetze. 6. Workshop Algorithmen und Werkzeuge für Petrinetze, Oktober 1999, Institut für Wirtschaftsinformatik der Universität Frankfurt / Main, pp. 18–23 (1999)
H.J. Genrich and G. Thieler-Mevissen: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, pp. 588–595 (1976)
K. Jensen: Coloured Petri Nets, Vol.1: Basic Concepts. 2nd edition, Springer-Verlag (1995)
W. Reisig: Petri Nets — An Introduction, Springer-Verlag (1985)
W. Reisig: Elements of Distributed Algorithms, Springer-Verlag (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Desel, J. (2000). Validation of Process Models by Construction of Process Nets. In: van der Aalst, W., Desel, J., Oberweis, A. (eds) Business Process Management. Lecture Notes in Computer Science, vol 1806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45594-9_8
Download citation
DOI: https://doi.org/10.1007/3-540-45594-9_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67454-2
Online ISBN: 978-3-540-45594-3
eBook Packages: Springer Book Archive