Efficient verification using generalized partial order analysis
Steven Vercauteren, Diederik Verkest, Gjalt de Jong, Binshan Lin · 1998
This paper presents a new formal method for the efficient verification of concurrent systems that are modeled using a safe Petri net representation. Our method generalizes upon partial-order methods to explore concurrently enabled con-flicting paths simultaneously. We show that our method can achieve an exponential reduction in algorithmic complexity without resorting to an implicit enumeration approach. 1