Ryszard Janicki Maciej Koutny Optimal simulations, nets and reachability graphs. 205-226 1990 conf/apn/1990 Applications and Theory of Petri Nets db/conf/apn/apn1990.html#JanickiK90 http://dx.doi.org/10.1007/BFb0019976