Jörg Desel Gabriel Juhás ''What Is a Petri Net?''. 1-25 2001 conf/apn/2001u Unifying Petri Nets http://link.springer.de/link/service/series/0558/bibs/2128/21280001.htm db/conf/apn/upn2001.html#DeselJ01