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 coloured Petri nets to automatically generate easy-to-understand visualizations of the model by exploiting the knowledge that some parts of the model are not interesting from a visualization perspective (i.e. they are part of the environment, and not controllable by the system itself, or they are part of the system itself and therefore we need not worry about them).
Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the Cpn Tools, 2006, p. 281-301
Main Research Area:
Seventh Workshop on Practical Use of of Coloured Petri Nets, 2006