Abstract: Symmetric nets (formerly called well-formed nets, a class of coloured Petri nets) have been recently enhanced by adding bags to the formalism to represent operations with sets of coloured tokens in Petri net (PN) models. As part of our efforts to define rules for bringing a coloured PN model to a continuous PN model with the same performance results, we looked also at decolourisation of stochastic symmetric nets with bags. Current state of the research will be presented.

Files: 

2010-03-18_ssnbdecolourisation.pdf