Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
H.G. Linde , Inst. fur Inf., Hildesheim Univ., Germany
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.<
parallel processing, Petri nets
H. Linde, "Free choice simulation of Petri nets," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 236-245.