Directed Unfolding of Petri Nets

Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux. Directed Unfolding of Petri Nets. T. Petri Nets and Other Models of Concurrency, 1:172-198, 2008. [doi]

Abstract

Abstract is missing.