Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets (1983)

by E Best, M W Shields
Venue:Colloquium on Trees in Algebra and Programming (CAAP), Lecture Notes in Computer Science