9 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
Yann Thierry-Mieg
Brute-force model-checking consists in exhaustive exploration of the state-space of a Petri net, and meets the dreaded state-space explosion problem. In contrast, this paper shows…