Showing results 18 to 20 of 20
Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events Jonghun Park, IEEE International Conference on Robotics and Automation, 2002 |
Petri Net Based Design of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems Jonghun Park, The 37th Annual Allerton Conference on Communication, Control, and Computing, 1999 |
Petri Net Structural Analysis and Deadlock Avoidance in Single-Unit Resource Allocation Systems Jonghun Park, Industrial Engineering Research Conference, 1999 |
Discover