Abstract
The analysis and verification of a Petri net model can only yield a valuable result if the model correctly captures the considered system and if the analyzed or verified properties reflect the actual requirements. So validation of both nets and specifications of desired properties is a first class task in model-based system development. This contribution considers validation concepts based on various chapters of Petri net theory. A particular emphasis is on simulation based validation. Simulation means construction of runs, which are high-level process nets in our approach. We discuss how simulation is used for validation purposes and how the creation of runs can be performed in an efficient way.
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.
Similar content being viewed by others
References
Best, E., C. Fernandez C.: Nonsequential Processes, Springer-Verlag, Berlin Heidelberg New York (1988)
Desel, J.: Basic Linear Algebraic Techniques for Place/Transition Nets. In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491. Springer-Verlag, Berlin Heidelberg New York (1998) 257–308
Desel, J.: 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-Verlag, Berlin Heidelberg New York (2000) 110–128
Desel, J., Erwin, T.: Modeling, Simulation and Analysis of Business Processes. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.): Business Process Management, Lecture Notes in Computer Science, Vol. 1806. Springer-Verlag, Berlin Heidelberg New York (2000) 129–141
Desel, J., Juhás, G.: ”What is a Petri Net?” Informal Answers for the Informed Reader. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.): Unifying Petri Nets, Lecture Notes in Computer Science, Vol. 2128. Springer-Verlag, Berlin Heidelberg New York (2001) 1–25
Desel, J., Kindler, E..: Petri Nets and Components — Extending the DAWN Approach?. In: Moldt, D. (ed.): Workshop on Modelling of Objects, Components. and Agents, Aarhus, Denmark, DAIMI PB-553 (2001) 21–36
Desel, J., Reisig, W.: Place/Transition Petri Nets. In: Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491. Springer-Verlag, Berlin Heidelberg New York (1998) 122–173
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., Heckel, R.: High-Level Net Processes. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds.): Formal and Natural Computing-Essays Dedicated to Grzegorz Rozenberg, Lecture Notes in Computer Science, Vol. 2300. Springer-Verlag, Berlin Heidelberg New York (2002) 191–219
Engels, G., Heckel, R., Sauer, S.: UML-A Universal Modeling Language? In: Nielsen, S., Simpson, D. (eds.): Application and Theory of Petri Nets 2000, Lecture Notes in Computer Science, Vol. 1825. Springer-Verlag, Berlin Heidelberg New York (2000) 24–38
Esparza, J.: Model Checking Using Net Unfoldings. Science of Computer Programming Vol. 23 (1994) 151–195
Genrich, H., Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, Berlin Heidelberg New York (1976) 588–595
Goltz, U., Reisig, W.: The Non-Sequantial Behaviour of Petri Nets. Information and Computation Vol. 57 (1983) 125–147
Jensen, K.: Coloured Petri Nets, Vol.1: Basic Concepts. 2nd edition, Springer-Verlag, Berlin Heidelberg New York (1995)
Reisig, W.: A Primer in Petri Net Design, Springer-Verlag, Berlin Heidelberg New York (1992)
Reisig, W.: Elements of Distributed Algorithms, Springer-Verlag, Berlin Heidelberg New York (1995) New York (1995)
Verbeek, H. M. W., Basten, T., van der Aalst, W. M. P.: Diagnosing Workflow Processes using Woflan, The Computer Journal Vol. 44(4) (2001) 246–279
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Desel, J. (2002). Model Validation — A Theoretical Issue?. In: Esparza, J., Lakos, C. (eds) Application and Theory of Petri Nets 2002. ICATPN 2002. Lecture Notes in Computer Science, vol 2360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48068-4_2
Download citation
DOI: https://doi.org/10.1007/3-540-48068-4_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43787-1
Online ISBN: 978-3-540-48068-6
eBook Packages: Springer Book Archive