Olaf Kummer Mark-Oliver Stehr Petri's Axioms of Concurrency- A Selection of Recent Results. 195-214 1997 conf/apn/1997 ICATPN db/conf/apn/icatpn97.html#KummerS97 http://dx.doi.org/10.1007/3-540-63139-9_37