Parametrisation of Coloured Petri Nets
DOI:
https://doi.org/10.7146/dpb.v26i521.7050Abstract
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
Published
1997-03-01
How to Cite
Christensen, S., & Mortensen, K. H. (1997). Parametrisation of Coloured Petri Nets. DAIMI Report Series, 26(521). https://doi.org/10.7146/dpb.v26i521.7050
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.