Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams

Yufeng Chen, GaiYun Liu. Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. ACM Trans. Embedded Comput. Syst., 12(1):3, 2013. [doi]

Abstract

Abstract is missing.