Skip to main content
SpringerLink
Log in

Model Validation — A Theoretical Issue?

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 2002 (ICATPN 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2360))

Included in the following conference series:

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Best, E., C. Fernandez C.: Nonsequential Processes, Springer-Verlag, Berlin Heidelberg New York (1988)

    MATH  Google Scholar 

  2. 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

    Google Scholar 

  3. 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

    Chapter  Google Scholar 

  4. 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

    Chapter  Google Scholar 

  5. 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

    Chapter  Google Scholar 

  6. 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

    Google Scholar 

  7. 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

    Google Scholar 

  8. 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

    Google Scholar 

  9. 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

    Chapter  Google Scholar 

  10. Esparza, J.: Model Checking Using Net Unfoldings. Science of Computer Programming Vol. 23 (1994) 151–195

    Google Scholar 

  11. Genrich, H., Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, Berlin Heidelberg New York (1976) 588–595

    Google Scholar 

  12. Goltz, U., Reisig, W.: The Non-Sequantial Behaviour of Petri Nets. Information and Computation Vol. 57 (1983) 125–147

    MATH  MathSciNet  Google Scholar 

  13. Jensen, K.: Coloured Petri Nets, Vol.1: Basic Concepts. 2nd edition, Springer-Verlag, Berlin Heidelberg New York (1995)

    Google Scholar 

  14. Reisig, W.: A Primer in Petri Net Design, Springer-Verlag, Berlin Heidelberg New York (1992)

    MATH  Google Scholar 

  15. Reisig, W.: Elements of Distributed Algorithms, Springer-Verlag, Berlin Heidelberg New York (1995) New York (1995)

    Google Scholar 

  16. 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

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Angewandte Informatik, Katholische Universität Eichstätt-Ingolstadt, 85071, Eichstätt, Germany

    Jörg Desel

Authors
  1. Jörg Desel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Division of Informatics, University of Edinburgh, James Clerk Maxwell Building, The King’s Buildings Mayfield Road, Edinburgh, EH9 3JZ, UK

    Javier Esparza

  2. Department of Computer Science, University of Adelaide, North Terrace, Adelaide, SA, 5005, Australia

    Charles Lakos

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation