Eike Best M. W. Shields Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. 141-154 1983 conf/caap/1983 CAAP db/conf/caap/caap83.html#BestS83 https://doi.org/10.1007/3-540-12727-5_7