On iterative liveness-enforcement for a class of generalized Petri nets

Yifan Hou, Ding Liu, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

This work presents an iterative liveness-enforcing method for a class of generalized Petri nets, which can model flexible manufacturing systems. The proposed method checks the liveness of net models using mixed integer programming and controls the token allocations of resource places instead of siphons using a liveness and resource usage ratio-enforcing supervisor. The enumeration of a kind of special structures, which is required in the previous work, is avoided and the number of iterations is bounded by the number of shared resource places in the net model. All strict minimal siphons in the controlled systems are minimally controlled. Several explanatory examples are used to illustrate this method.

Original languageEnglish (US)
Title of host publication2012 IEEE International Conference on Automation Science and Engineering
Subtitle of host publicationGreen Automation Toward a Sustainable Society, CASE 2012
Pages188-193
Number of pages6
DOIs
StatePublished - Dec 1 2012
Event2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012 - Seoul, Korea, Republic of
Duration: Aug 20 2012Aug 24 2012

Other

Other2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012
CountryKorea, Republic of
CitySeoul
Period8/20/128/24/12

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'On iterative liveness-enforcement for a class of generalized Petri nets'. Together they form a unique fingerprint.

Cite this