2006): Transition systems, link graphs and Petri nets (0)

by J Leifer, R Milner
Venue:Journal of Mathematical Structures in Computer Science