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

Yifan Hou; Ding Liu; Mengchu Zhou

doi:10.1109/CoASE.2012.6386348

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

Yifan Hou, Ding Liu, Mengchu Zhou

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	2012 IEEE International Conference on Automation Science and Engineering
Subtitle of host publication	Green Automation Toward a Sustainable Society, CASE 2012
Pages	188-193
Number of pages	6
DOIs	https://doi.org/10.1109/CoASE.2012.6386348
State	Published - Dec 1 2012
Event	2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012 - Seoul, Korea, Republic of Duration: Aug 20 2012 → Aug 24 2012

Other

Other	2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012
Country/Territory	Korea, Republic of
City	Seoul
Period	8/20/12 → 8/24/12

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Electrical and Electronic Engineering

Access to Document

10.1109/CoASE.2012.6386348

Cite this

@inproceedings{5851d3c7d80b43edb441ce056f0fc9b5,

title = "On iterative liveness-enforcement for a class of generalized Petri nets",

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.",

author = "Yifan Hou and Ding Liu and Mengchu Zhou",

year = "2012",

month = dec,

day = "1",

doi = "10.1109/CoASE.2012.6386348",

language = "English (US)",

isbn = "9781467304283",

pages = "188--193",

booktitle = "2012 IEEE International Conference on Automation Science and Engineering",

note = "2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012 ; Conference date: 20-08-2012 Through 24-08-2012",

}

Hou, Y, Liu, D & Zhou, M 2012, On iterative liveness-enforcement for a class of generalized Petri nets. in 2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012., 6386348, pp. 188-193, 2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, Korea, Republic of, 8/20/12. https://doi.org/10.1109/CoASE.2012.6386348

TY - GEN

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

AU - Hou, Yifan

AU - Liu, Ding

AU - Zhou, Mengchu

PY - 2012/12/1

Y1 - 2012/12/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=84872555024&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84872555024&partnerID=8YFLogxK

U2 - 10.1109/CoASE.2012.6386348

DO - 10.1109/CoASE.2012.6386348

M3 - Conference contribution

AN - SCOPUS:84872555024

SN - 9781467304283

SP - 188

EP - 193

BT - 2012 IEEE International Conference on Automation Science and Engineering

T2 - 2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012

Y2 - 20 August 2012 through 24 August 2012

ER -

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

Abstract

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this