Conflict Sets in Colored Petri Nets

Generalized Stochastic Petri Nets provide themodeller with immediate transitions, but a model willbe correct only if the modellet can lecify how to solvethe firing conflicts between these transitions. This taskis usually cumbersome and may be impossible for largenets. In confusion-free nets, these conflict sets aresubsets of equivalence classes of a structural conflictrelation, which greatly simplifies the previous task.This paper solves the problem of detecting confusion incolored...