3 citations · 3 across the 1 of their papers we have counts for
1 paper
Stefan Haar, Christian Kern, Stefan Schwoon
Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causa…