Park, J.

• Lee, Kichang; Jeong, Hanil; Park, Chankwon; Park, Jinwoo:
  Construction and performance analysis of a Petri net model based on a functional model in a CIM system. 2004.

• Park, Jonghun; Reveliotis, Spyros:
  Liveness-Enforcing Supervision for Resource Allocation Systems with Uncontrollable Behavior and Forbidden States. 2002.

• Park, Jonghun; Reveliotis, Spyros:
  Policy Mixtures: A Novel Approach for Enhancing the Operational Flexibility of Resource Allocation Systems with Alternate Routings. 2002.

• Reveliotis, Spyros; Park, Jonghun:
  Deadlock Avoidance in Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings. 2001.

• Park, Jonghun; Reveliotis, Spyros; Bodner, Douglas A.; Zhou, Chen; McGinnis, Leon F.:
  A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers. 2001.

• Reveliotis, Spyros; Park, Jonghun:
  Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems. 2000.

• Reveliotis, Spyros; Park, Jonghun:
  Enhancing the Flexibility of Algebraic Deadlock Avoidance Policies through Petri Net Structural Analysis. 2000.

• Reveliotis, Spyros; Park, Jonghun:
  Petri Net Based Design of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems. 1999.

• Reveliotis, Spyros; Park, Jonghun:
  Petri Net Structural Analysis and Deadlock Avoidance in Single-Unit Resource Allocation Systems. 1999.

• Chang, N.; Kwon, W.H.; Park, J.:
  Hardware implementation of real-time Petri-net-based controllers. 1998.

• Chang, N.; Park, J.; Kwon, W. H.:
  FPGA-based implementation of synchronous Petri nets. 1996.

• Chang, N.; Park, J.; Kwon, W.H.:
  Petri net based superscalar computing in programmable controllers. 1995.

• Chang, N.; Park, J.; Kwon, W. H.:
  Memory-based implementation of a Petri net for a programmable controller. 1993.

Back to the Petri Nets Bibliography