Skip to main content
SpringerLink
Log in

Validation of Process Models by Construction of Process Nets

  • Chapter
  • First Online:
Business Process Management

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

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)

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. E. Best and C. Fernandez C: Nonsequential Processes. Springer-Verlag (1988)

    Google Scholar 

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

    Google Scholar 

  3. J. Desel, T. Freytag and A. Oberweis: Prozesse, Simulation und Eigenschaften netzmodellierter Systeme. Entwurf komplexer Automatisierungssysteme, Braunschweig, pp. 141–161 (1997)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  6. J. Desel and T. Erwin: Modeling, simulation and analysis of business processes. In this volume.

    Google Scholar 

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

    Google Scholar 

  8. J. Esparza: Model checking using net unfoldings. Science of Computer Programming 23, pp. 151–195 (1994)

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  10. H.J. Genrich and G. Thieler-Mevissen: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, pp. 588–595 (1976)

    Google Scholar 

  11. K. Jensen: Coloured Petri Nets, Vol.1: Basic Concepts. 2nd edition, Springer-Verlag (1995)

    Google Scholar 

  12. W. Reisig: Petri Nets — An Introduction, Springer-Verlag (1985)

    Google Scholar 

  13. W. Reisig: Elements of Distributed Algorithms, Springer-Verlag (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Angewandte Informatik, Katholische Universität 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. Faculty of Technology and Management, Department of Information and Technology, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil van der Aalst

  2. Mathematisch-Geographische Fakultät, Lehrstuhl für Angewandte Informatik, Katholische Universität Eichstätt, Ostenstraße 28, 85072, Eichstätt, Germany

    Jörg Desel

  3. Institut für Wirtschaftsinformatik, Lehrstuhl für Wirtschaftsinformatik II, J.W. Goethe-Universität Frankfurt am Main, Postfach 111932, 60054, Frankfurt am Main, Germany

    Andreas Oberweis

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation