Keyword: discrete event system

• Tabakow, Iwan:
  Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems. 2007.

• Iwan, Tabakow:
  Fault Distinguishability of Discrete Event Systems. 2006.

• Tabakow, Iwan:
  Fault Distinguishability of Discrete Event Systems. 2006.

• Cansever, G.; Kucukdemiral, I. B.:
  A new approach to supervisor design with sequential control Petri-net using minimization technique for discrete event system. 2006.

• Damrianant, Jirawat:
  COSMOS: A discrete-event modeling methodology for construction processes. 2003.

• Haoxun, Chen:
  Control Synthesis of Petri Nets Based on S-Decreases. 2000.

• Zhang, Lan; Li, Ren Hou:
  A GSPN-Based Petri Net Analyzer. 1991.

• Scheuring, R.; Wehlan, H.:
  Der Boolesche Differentialkalkül - eine Methode zur Analyse und Synthese von Petri-Netzen. 1991.

• Brummer, J.:
  Representation and Verification of Discrete-Event Systems by Means of Petri Nets. 1990.

• Kumar, D.; Harvus, S.:
  An Approach Towards Distributed Simulation of Timed Petri Nets. 1990.

• Yamalidou, E.C.; Patsidou, E.P.; Kantor, J.C.:
  Modeling Discrete-Event Dynamical Systems for Chemical Process Control --- a Survey of Several New Techniques. 1990.

• Ushio, Toshimitsu:
  Maximally Permissive Feedback and Modular Control Synthesis in Petri Nets with External Input Places. 1990.

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

• Seiche, W.:
  Control Synthesis Based on a Graph-Theoreticel Petri Net Analysis. 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.

• Tamura, H.; Yamagata, K.; Hatono, I.:
  Decision Making for Flexible Manufacturing-OR and/or AI Approaches in Scheduling. 1989.

• van Hee, K.M.; Somers, L.J.; Voorhoeve, M.:
  A Formal Framework for Simulation of Discrete Event Systems. 1989.

• Kumagai, S.:
  Overview of Petri Net Tools. 1989.

• Passino, K.M.; Antsaklis, P.J.:
  Branching Time Temporal Logic for Discrete Event System Analysis. 1988.

• Peleties, P.; DeCarlo, R.:
  Modeling of Interacting Continuous Time and Discrete Event Systems: an Example. 1988.

Back to the Petri Nets Bibliography