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]
@article{ChenL13-29,
title = {Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams},
author = {Yufeng Chen and GaiYun Liu},
year = {2013},
doi = {10.1145/2406336.2406339},
url = {http://doi.acm.org/10.1145/2406336.2406339},
researchr = {https://researchr.org/publication/ChenL13-29},
cites = {0},
citedby = {0},
journal = {ACM Trans. Embedded Comput. Syst.},
volume = {12},
number = {1},
pages = {3},
}