The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
pp: 144-153
G. Chiola , Torino Univ., Italy
G. Franceschinis , Torino Univ., Italy
ABSTRACT
Well-formed coloured Petri nets (WN) have been recently defined as a new formalism that allows the automatic identification of model symmetries by means of the construction of the symbolic reachability graph (SRG). The authors define a sufficient structural condition for the simplification of the colour structure of the net that can exploit symmetries not detectable with the SRG. The simplified WNs may have reduced SRG and in any case are easier to analyze by means of the SRG technique.<>
INDEX TERMS
data structures, graph colouring, Petri nets
CITATION

G. Chiola and G. Franceschinis, "A structural colour simplification in well-formed coloured nets," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 144-153.
doi:10.1109/PNPM.1991.238773
86 ms
(Ver 3.3 (11022016))