1 | A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers Jonghun Park, IEEE International Conference on Robotics and Automation, 2001 |
2 | A Discrete Event Control Approach to Robotic Cell Operating System Design Jonghun Park, The 4th International Conference on Control, Automation, Robotics and Vision, 1996 |
3 | A Formal Specification Approach to Design Generic Software for Control of High-Fidelity Virtual Factory Jonghun Park, Industrial Engineering Research Conference, 2000 |
4 | A High-Fidelity, Web-Based Simulator for 300mm Wafer Fabs Jonghun Park, IEEE International Conference on Systems, Man, and Cybernetics, 2001 |
5 | A Polynomial-Complexity Deadlock Avoidance Policy for Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings Jonghun Park, IEEE International Conference on Decision and Control, 2000 |
6 | A Protocol for Fast Co-Allocation of Shared Web Services Jonghun Park, 4th International Workshop on Technologies for E-Services, 2003 |
7 | A Scalable Protocol for Deadlock and Livelock Free Co-Allocation of Resources in Internet Computing Jonghun Park, Symposium on Applications and the Internet, 2003 |
8 | Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive Resource Allocation Systems Jonghun Park, IEEE International Conference on Robotics and Automation, 2001 |
9 | An Object-Based Run-Time Executive for Control of Flexible Manufacturing Systems Jonghun Park, IEEE International Conference on Sysems, Man, and Cybernetics, 1995 |
10 | An XSLT Based Framework for Automating Peer-To-Peer Interactions Between Complex Business Processes Jonghun Park, 2003 Asia Pacific Symposium on Intelligent and Evolutionary Systems, 2003 |
11 | Design of an Efficient Tentative Hold Protocol for Automated Coordination of Multi-Business Transactions Jonghun Park, IEEE Conference on E-Commerce, 2003 |
12 | Development of Integrated Configurable Application Builder based on Object-Oriented Framework Jonghun Park, International Conference on Applications of Databases, 1995 |
13 | Distributed Control of Automated Manufacturing Systems in an Agent-Based Architecture Jonghun Park, The 4th International Conference on Control, Automation, Robotics and Vision, 1996 |
14 | Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis Jonghun Park, IEEE International Conference on Robotics and Automation, 2000 |
15 | FMS Scheduling Strategies in a Distributed Coordination Environment Jonghun Park, The 4th Pacific Conference on Manufacturing, 1996 |
16 | High-Fidelity Rapid Prototyping of the Real-Time Fab Operations through Discrete Event System Modeling Jonghun Park, International Conference on Modeling and Analysis of Semiconductor Manufacturing, 2000 |
17 | Integration of Structural and Performance-Oriented Control in Flexibly Automated Manufacturing Jonghun Park, IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 1999 |
18 | Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events Jonghun Park, IEEE International Conference on Robotics and Automation, 2002 |
19 | 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 |
20 | Petri Net Structural Analysis and Deadlock Avoidance in Single-Unit Resource Allocation Systems Jonghun Park, Industrial Engineering Research Conference, 1999 |
21 | Towards the automatic composition of co-business processes Park J., Proceedings - 2004 International Symposium on Applications and the Internet Workshops (Saint 2004Workshop), pp.355 - 359, 2004-01-26 |