Petri Nets: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8. -19. September 1986
Brauer, Wilfried ; Reisig, Wolfgang ; Rozenberg, Grzegorz
Berlin, Heidelberg: Springer Berlin / Heidelberg 2006
Texto completo disponível