Joost Engelfriet Branching Processes of Petri Nets. 575-591 1991 28 Acta Inf. 6 db/journals/acta/acta28.html#Engelfriet91 http://dx.doi.org/10.1007/BF01463946