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.
|Title of host publication||Dynamic Modelling of Information Systems|
|Editors||H.G. Sol, K.M. van Hee|
|Place of Publication||Amsterdam|
|Publication status||Published - 1991|