Results 171 to 180 of about 315,703 (191)
Some of the next articles are maybe not open access.
An introduction to the theoretical aspects of Coloured Petri Nets
Lecture Notes in Computer Science, 2005Kurt Jensen
exaly
2006
This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means of reachability analysis of this net class, and an application of game ...
openaire +1 more source
This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means of reachability analysis of this net class, and an application of game ...
openaire +1 more source
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks
Computational Biology and Chemistry, 2018Monika Heiner +2 more
exaly
Properties of enhanced mobile membranes via coloured Petri nets
Information Processing Letters, 2012Bogdan Aman, Gabriel Ciobanu
exaly
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer, 2007Kurt Jensen, Lars Michael Kristensen
exaly
An introduction to the practical use of coloured Petri Nets
Lecture Notes in Computer Science, 2005Kurt Jensen
exaly
Sustainable procurement with Coloured Petri Nets. Application and extension of the proposed model
Expert Systems With Applications, 2018Leonardo Rodríguez-Urrego
exaly
Formalising concurrent UML state machines using coloured Petri nets
Formal Aspects of Computing, 2016Etienne André
exaly
Analysis of automated systems by using coloured Petri Nets
International Journal of Reasoning-based Intelligent Systems, 2010Mürvet Kirci
exaly