Bisimulation and the reduction of Petri nets (0)

by Philippe Schnoebelen, Natalia Sidorova
Venue:In Application and Theory of Petri Nets 2000