29 citations · 58 across the 9 of their papers we have counts for
1 paper · 2 filters
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
We propose a method to count the number of reachable markings of a Petri net without having to enumerate these rst. The method relies on a structural reduction system that reduces…