×

ExSpect 6. 4: An executable specification tool for hierarchical colored Petri nets. (English) Zbl 0986.68850

Nielsen, Mogens (ed.) et al., Application and theory of Petri nets 2000. 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1825, 455-464 (2000).
Summary: 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 ExSpeet. 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.
For the entire collection see [Zbl 0941.00038].

MSC:

68U99 Computing methodologies and applications
68U20 Simulation (MSC2010)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Software:

ExSpect
PDFBibTeX XMLCite