Modelling logistic systems with EXSPECT

W.M.P. Aalst, van der, A.W. Waltmans

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)


A framework for the modelling and specification of concurrent systems is introduced. This framework is closely related to Coloured Petri Nets. Within this framework a tool has been developed together with a language called ExSpect. One of the applications of this language is the description and simulation of logistic processes. Therefore the TASTE project (1) was started. The result of this project will be a toolkit of standard logistic components that can be combined graphically, thus yielding a (simulation) model of a real or alternative situation. After a short introduction of the language some examples will illustrate our approach.
Original languageEnglish
Title of host publicationDynamic Modelling of Information Systems
EditorsH.G. Sol, K.M. van Hee
Place of PublicationAmsterdam
Publication statusPublished - 1991


Dive into the research topics of 'Modelling logistic systems with EXSPECT'. Together they form a unique fingerprint.

Cite this