Making Petri Nets Safe and Free of Internal Transitions

Eike Best, Philippe Darondeau, Harro Wimmel. Making Petri Nets Safe and Free of Internal Transitions. Fundamenta Informaticae, 80(1-3):75-90, 2007. [doi]

Abstract

Abstract is missing.