발행물
컨퍼런스
Proceedings of the IEEE International Conference on Robotics & Automation
,
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events
Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive Resource Allocation Systems
A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers
Proceedings of the IEEE International Conference on Decision & Control
A Polynomial-Complexity Deadlock Avoidance Policy for Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings
Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis