Modelling logistic systems with EXSPECT

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

Modelling logistic systems with EXSPECT

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

1 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Titel	Dynamic Modelling of Information Systems
Redacteuren	H.G. Sol, K.M. van Hee
Plaats van productie	Amsterdam
Uitgeverij	Elsevier
Pagina's	269-288
Status	Gepubliceerd - 1991

Citeer dit

@inbook{916ea4841b174253a51858d3f3afe9d8,

title = "Modelling logistic systems with EXSPECT",

abstract = "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.",

author = "{Aalst, van der}, W.M.P. and A.W. Waltmans",

year = "1991",

language = "English",

pages = "269--288",

editor = "H.G. Sol and Hee, {K.M. van}",

booktitle = "Dynamic Modelling of Information Systems",

publisher = "Elsevier",

address = "Netherlands",

}

TY - CHAP

T1 - Modelling logistic systems with EXSPECT

AU - Aalst, van der, W.M.P.

AU - Waltmans, A.W.

PY - 1991

Y1 - 1991

N2 - 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.

AB - 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.

M3 - Chapter

SP - 269

EP - 288

BT - Dynamic Modelling of Information Systems

A2 - Sol, H.G.

A2 - Hee, K.M. van

PB - Elsevier

CY - Amsterdam

ER -

Modelling logistic systems with EXSPECT

Samenvatting

Vingerafdruk

Citeer dit