| | |
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
|
