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

@inproceedings{Mennicke2014OnTS,
  title={On the Step Branching Time Closure of Free-Choice Petri Nets},
  author={Stephan Mennicke and Jens-Wolfhard Schicke and Ursula Goltz},
  booktitle={FORTE},
  year={2014}
}