24 citations · 54 across the 7 of their papers we have counts for
1 paper · 1 filter
Nick Würdemann, Thomas Chatain, Stefan Haar +1
Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-call…