On the Step Branching Time Closure of Free-Choice Petri Nets.

Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz

Browse the full FORTE paper archive.