Sciweavers

68
Voted
TROB
2002
64views more  TROB 2002»
15 years 8 days ago
Synthesis of deadlock prevention supervisors using Petri nets
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
Marian V. Iordache, John O. Moody, Panos J. Antsak...