Grzegorz Rozenberg Advances in Petri Nets: The DEMON Project Lecture Notes in Computer Science 609 Springer 1992 3-540-55610-9 db/conf/apn/apndemon92.html