Gabriel Juhás Robert Lorenz 0001 Sebastian Mauser Complete Process Semantics of Petri Nets. 331-365 2008 87 Fundam. Inform. 3-4 http://iospress.metapress.com/content/821071384884624r/ db/journals/fuin/fuin87.html#JuhasLM08a