Free choice simulation of Petri nets
H.G. Linde · 2002
Structure theory deals with connections between the behaviour of a system and the structure of the corresponding net. Structure theory is well developed for free choice nets. In the paper it is shown that with a notion of simulation close to bisimulation, it is impossible to simulate all confusion free nets with free choice nets.>