Parametrisation of Coloured Petri Nets
DOI:
https://doi.org/10.7146/dpb.v26i521.7050Resumé
In this paper we propose a conceptual framework for parametrisation of Coloured Petri Nets --- a first step towards the formulation and formalisation of Parametric Coloured Petri Nets. We identify and characterise three useful kinds of parametrisation, namely value, type, and net structure parameters. While the two former kinds are simple to design the latter kind is more complex, and in this context we describe how net structure parametrisation naturally induces concepts like modules and scope rules. The framework is applied to a non-trivial example from the domain of flexible manufacturing. Finally we discuss implementation issues.Downloads
Publiceret
1997-03-01
Citation/Eksport
Christensen, S., & Mortensen, K. H. (1997). Parametrisation of Coloured Petri Nets. DAIMI Report Series, 26(521). https://doi.org/10.7146/dpb.v26i521.7050
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.