Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

WU Wei-min; SU Hong-ye; CHU Jian

doi:10.3969/j.issn.1000-8152.2003.02.013

Home>Articles>Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

DOI: 10.3969/j.issn.1000-8152.2003.02.013

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

WU Wei-min

SU Hong-ye

CHU Jian

Abstract：The basic idea behind FCP (finite capacity places) method has been introduced in Part 1. In this sequel, the synthesis algorithm of Petri net controller for DES to enforce the general case of the constraint is presented and the maximal permissiveness of FCP method is proved. In addition, the reported example of AGV (automated guided vehicles) coordination system is used to illustrate the advantages and characteristics of FCP method.

Keywords：discrete event systemscontroller synthesisPetri netsfinite capacity places

Publication Date：2003-01-01

Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)

Pages：6( 233-238 )

CONTROL THEORY & APPLICATIONS

PKUISTICEI

ISSN：1000-8152

Year, Vol.(Issue)：2003,20(2)