TY - GEN
T1 - ExSpect 6.4 : an executable specification tool for hierarchical colored Petri Nets
AU - Aalst, van der, W.M.P.
AU - de Crom, P.J.N.
AU - Goverde, R.R.H.M.J.
AU - Hee, van, K.M.
AU - Hofman, W.J.
AU - Reijers, H.A.
AU - Toorn, van der, R.A.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
U2 - 10.1007/3-540-44988-4_26
DO - 10.1007/3-540-44988-4_26
M3 - Conference contribution
SN - 3-540-67693-7
T3 - Lecture Notes in Computer Science
SP - 455
EP - 464
BT - Application and Theory of Petri Nets 2000 (Proceedings 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000)
A2 - Nielsen, M.
A2 - Simpson, D.
PB - Springer
CY - Berlin
ER -