Krogh, B.H.

• Holloway, L.E.; Krogh, B.H.; Giua, A.:
  A Survey of Petri Net Methods for Controlled Discrete Event Systems. 1997.

• Sathaye, A.S.; Krogh, B.H.:
  Synthesis of Real-Time Supervisors for Controlled Time Petri Nets. 1993.

• Banaszak, Z.; Jampolski, L.S.; Hasegawa, K.; Krogh, B.H.; Takahashi, K.; Borusan, A.:
  Modelling and Control of FMS (Petri Net Approach). 1991.

• Krogh, B.H.; Holloway, L.E.:
  Synthesis of Feedback Control Logic for Discrete Manufacturing Systems. 1991.

• Holloway, L.E.; Krogh, B.H.:
  Synthesis of Feedback Control for Forbidden State Problems in Discrete Manufacturing Systems. 1990.

• Krogh, B.H.; Genter, W.L.:
  Petri Net Analysis of the Transfer-Line Protocol. 1990.

• Sreenivas, R.S.; Krogh, B.H.:
  On Fairness and Conflicts in Petri Nets. 1990.

• Banaszak, Zbignew A.; Krogh, Bruce H.:
  Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows. 1990.

• Holloway, Lawrence E.; Krogh, Bruce H.:
  Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets. 1990.

• Willson, Reg G.; Krogh, Bruce H.:
  Petri Net Tools for the Specification and Analysis of Discrete Controllers. 1990.

• Holloway, L.E.; Krogh, B.H.:
  Efficient Synthesis of Control Logic for a Class of Discrete Event Systems. 1989.

• Holloway, L.E.; Krogh, B.H.:
  On Closed-Loop Liveness of Discrete Event Systems Under Maximally Permissive Control. 1989.

• Krogh, B.H.; Willson, R.; Pathak, D.:
  Automated Generation and Evaluation of Control Programs for Discrete Manufacturing Processes. 1988.

• Krogh, B.H.:
  Controlled Petri Nets and Maximally Permissive Feedback Logic. 1987.

• Krogh, B.H.; Beck, C.L.:
  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems. 1987.

• Krogh, B.H.; Sreenivas, R.S.:
  Essentially Decision Free Petri Nets for Real-time Resource Allocation. 1987.

• Beck, C.L.; Krogh, B.H.:
  Models for Simulation and Discrete Control of Manufacturing Systems. 1986.

• Krogh, B.H.; Beck, C.L.:
  Modified Petri Nets for Hierarchical Simulation and Control of Manufacturing Systems. 1985.

Back to the Petri Nets Bibliography