Overlapping decompositions and expansions of Petri nets

Aybar A., Iftar A.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, vol.47, no.3, pp.511-515, 2002 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 47 Issue: 3
  • Publication Date: 2002
  • Doi Number: 10.1109/9.989151
  • Journal Name: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.511-515
  • Keywords: discrete-event systems (DESs), inclusion principle, large-scale systems, overlapping decompositions, Petri nets, DYNAMIC-SYSTEMS, CONTRACTIONS
  • Anadolu University Affiliated: No

Abstract

Overlapping decompositions and expansions are considered to design decentralized controllers for discrete-event systems (DESs) modeled, by Petri nets. The inclusion principle for Petri nets is first defined. It is shown that properties like boundedness, reversibility, and liveness (with a mild additional condition) carry over from the including net to the included net. Moreover, a new property called obstruction, is introduced for the including net, and it is shown that if obstruction does not occur in the including net, then deadlock does not occur in the included net. An expansion procedure, which guarantees inclusion for an overlappingly decomposed Petri net, is then introduced.