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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.