Hossam Mahmoud Ahmad Fahmy Analysis of Petri Nets by Partitioning: Splitting Transitions. 321-330 1990 77 Theor. Comput. Sci. 3 db/journals/tcs/tcs77.html#Fahmy90 http://dx.doi.org/10.1016/0304-3975(90)90174-G