Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Automated Synthesis of Deadlock Prevention Supervisors Using Technical Report of the ISIS Group
 

Summary: Automated Synthesis of Deadlock Prevention Supervisors Using
Petri Nets
Technical Report of the ISIS Group
at the University of Notre Dame
ISIS-2000-003
May, 2000
Revised in October 2000 and November 2001
Marian V. Iordache John O. Moody Panos J. Antsaklis
Department of Lockheed Martin Department of
Electrical Engineering Federal Systems Electrical Engineering
University of Notre Dame 1801 State Rt. 17C, MD 0210 University of Notre Dame
Notre Dame, IN 46556 Owego, NY 13827-3998 Notre Dame, IN 46556
iordache.1@nd.edu john.moody@lmco.com antsaklis.1@nd.edu
Interdisciplinary Studies of Intelligent Systems
M.V. Iordache, J.O. Moody and P.J. Antsaklis, "Automated Synthesis of Deadlock Prevention Supervisors
using Petri Nets." Technical Report isis-00-003, Dept. of Electrical Engr., Univ. of Notre Dame, May 2000.
AUTOMATED SYNTHESIS OF DEADLOCK PREVENTION
SUPERVISORS USING PETRI NETS
Marian V. Iordache
, John O. Moody

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering