Skip to main content
SpringerLink
Log in

ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets

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

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

Included in the following conference series:

Abstract

Ten years ago ExSpect became available on the market. Since then a lot of modeling and simulation projects in logistics, workflow and electronic commerce have been performed using ExSpect. In the past ten years the heart of ExSpect, the simulation engine, has never been changed: it still executes models of hierarchical, timed, colored Petri nets with priorities. Over the years new features have been introduced based on user requests. Three extensions dominate the new functionality of ExSpect. The first is ‘ease of use’ in simulating and carrying out quantitative analysis of workflows. The second is to view Message Sequence Charts for electronic commerce applications using ExSpect. The last is the integration of ExSpect and applications; i.e., to use ExSpect to handle the flow of control for other applications.

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. van der Aalst, W.M.P.. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, (1998).

    Article  Google Scholar 

  2. van der Aalst, W.M.P.. Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow. Information Systems, 24(8):639–671, (2000).

    Article  Google Scholar 

  3. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley (1998).

    Google Scholar 

  4. de Crom, P.J.N.: The design of a new graphical user interface for ExSpect. Final report of the postgraduate program Software Technology. ISBN 90-5282-566-1. Stan Ackermans Instituut, Eindhoven (1995).

    Google Scholar 

  5. CCITT. CCITT Recommendation Z.120: Message Sequence Chart (MSC92). Technical report, CCITT, Geneva (1992).

    Google Scholar 

  6. Deloitte & Touche Bakkenist. ExSpect. Product Management ExSpect P.O. Box 23103, 1100 DP Amsterdam, The Netherlands. http://www.exspect.com/ (1999).

  7. Deloitte & Touche Bakkenist. ExSpect 6 User Manual. Product Management ExSpect P.O. Box 23103, 1100 DP Amsterdam, The Netherlands (1997).

    Google Scholar 

  8. Deloitte & Touche Bakkenist. ExSpect Language Tutorial (rel 6.0). Product Management ExSpect P.O. Box 23103, 1100 DP Amsterdam, The Netherlands (1997).

    Google Scholar 

  9. van Hee, K.M. Information Systems Engineering: a Formal Approach. Cambridge University Press (1994).

    Google Scholar 

  10. van Hee, K.M., Somers, L.J., Voorhoeve, M. Executable Specifications for Distributed Information Systems, in E.D. Falkenberg, P. Lindgreen (eds.), Information System Concepts: an in-depth analysis, North Holland, pages 139–156 (1989).

    Google Scholar 

  11. van Hee, K.M., van der Toorn, R.A., van der Woude, J., Verkoulen, P.: A Framework for Component Based Software Architectures. In W.M.P. van der Aalst, J. Desel, and R. Kaschek, editors, Software Architecture Business Process Management (SABPM’99), pages 1–20, Heidelberg, Germany, June 1999, Forschungsbericht Nr. 390, University of Karlsruhe, Insitut AIFB, Karlsruhe, Germany (1999).

    Google Scholar 

  12. Microsoft. Component Object Model (COM). http://www.microsoft.com/com/.

  13. Pallas Athena. PROTOS User Manual. Pallas Athena BV, Plasmolen, The Netherlands (1997).

    Google Scholar 

  14. Reijers, H.A. and Van der Aalst, W.M.P.: Short-term Simulation: Bridging the gap between operational control and decision making. In Proceedings of the IASTED International Conference on Modeling and Simulation 1999, May 5–8, Philadelphia. ACTA Press, Pittsburg PA, pages 417–421 (1999).

    Google Scholar 

  15. Software-Ley. COSA® User Manual. Software-Ley GmbH, Pullheim, Germany (1996).

    Google Scholar 

  16. SMIS group, Department of Computing Science, Eindhoven University of Technology. Woflan. http://www.win.tue.nl/~woflan.

  17. Department of Computing Science, University of Aarhus. Tools on the Web. http://www.daimi.aau.dk/PetriNets/tools/.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst, Kees M. van Hee, Hajo A. Reijers & Robert A. van der Toorn

  2. Department of Information and Communication Technology, Deloitte & Touche Bakkenist, P.O. Box 23103, NL-1100 DP, Amsterdam ZO, The Netherlands

    Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers & Robert A. van der Toorn

Authors
  1. Wil M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Poul J. N. de Crom
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roy R. H. M. J. Goverde
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kees M. van Hee
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Wout J. Hofman
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Hajo A. Reijers
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Robert A. van der Toorn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Aarhus, Ny Munkegade bldg 540, 8000, Aarhus C, Denmark

    Mogens Nielsen

  2. University of Brighton, Watts Building Lewes Road, Brighton, East Sussex, BN2 4GJ, UK

    Dan Simpson

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Aalst, W.M.P. et al. (2000). ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-44988-4_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67693-5

  • Online ISBN: 978-3-540-44988-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation