For the most recent entries see the Petri Nets Newsletter.

ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.

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

In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 455-464. Springer-Verlag, 2000.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography