5 papers:
CASE-2013-WuCY #analysis #policy #reachability- A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
SEKE-2012-LiuCL #concurrent #in the cloud- Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing (GL, DYC, YNL), pp. 359–362.
- CASE-2011-WangZW #petri net
- Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.
CIKM-2008-VieiraBFS #interface #keyword- Siphon++: a hidden-webcrawler for keyword-based interfaces (KV, LB, JF, ASdS), pp. 1361–1362.
- CASE-2006-LiuWL #algorithm #performance #petri net #set
- A fast algorithm to find a set of elementary siphons for a class of petri nets (XL, AW, ZL), pp. 399–404.
