Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz,
"On the Step Branching Time Closure of Free-Choice Petri Nets",
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014.
Abstract