26 citations · 26 across the 2 of their papers we have counts for
1 paper · 1 filter
Bruno Gaujal, Stefan Haar, Jean Mairesse
In a live and bounded Free Choice Petri net, pick a non-conflicting transition. Then there exists a unique reachable marking in which no transition is enabled except the selected o…