L. Hong

An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets

Shaoyong Li, Xianhong Wei, Ying Cai, 2017 .

Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors

A. Wang, Yifan Hou, L. Hong, 2015 .

Enumeration of reachable states for arbitrary marked graphs

D. Chao, L. Hong, 2012 .