Eric Badouel Marek A. Bednarczyk Philippe Darondeau Generalized Automata and Their Net Representations. 304-345 2001 conf/apn/2001u Unifying Petri Nets http://link.springer.de/link/service/series/0558/bibs/2128/21280304.htm db/conf/apn/upn2001.html#BadouelBD01