Structuring Acyclic Petri Nets for Reachability Analysis and Control

G. Stremersch, René K. Boel. Structuring Acyclic Petri Nets for Reachability Analysis and Control. Discrete Event Dynamic Systems, 12(1):7-41, 2002. [doi]

Abstract

Abstract is missing.