ExSpect 6.4: an executable specification tool for hierarchical colored Petri nets

  • Authors:

  • Wil M. P. van der Aalst;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

  • Affiliations:

  • Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands;Deloitte & Touche Bakkenist, Department of Information and Communication Technology, Amsterdam ZO, The Netherlands;Deloitte & Touche Bakkenist, Department of Information and Communication Technology, Amsterdam ZO, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands and Deloitte & Touche Bakkenist, Department of Information and Communication Technol ...;Deloitte & Touche Bakkenist, Department of Information and Communication Technology, Amsterdam ZO, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands and Deloitte & Touche Bakkenist, Department of Information and Communication Technol ...;Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands and Deloitte & Touche Bakkenist, Department of Information and Communication Technol ...

  • Venue:
  • ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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.