Branching processes of Petri nets
Acta Informatica
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Symbolic unfolding of parametric stopwatch Petri nets
Formal Methods in System Design
Hi-index | 0.89 |
Petri net unfolding prefixes are an important technique for formal verification and synthesis of concurrent systems. In this paper we show that the requirement that the adequate order used for truncating a Petri net unfolding must be well-founded is superfluous in many important cases, i.e., it logically follows from other requirements. We give a complete analysis when this is the case. These results concern the very 'core' of the unfolding theory.