Eike Best Philippe Darondeau Harro Wimmel Making Petri Nets Safe and Free of Internal Transitions. 75-90 2007 80 Fundam. Inform. 1-3 http://iospress.metapress.com/content/8453256536uj00l1/ db/journals/fuin/fuin80.html#BestDW07