Computing bounds for forbidden state reachability functions for controlled Petri nets

L. E. Holloway; A. S. Khare

doi:10.1109/WODES.2002.1167692

Computing bounds for forbidden state reachability functions for controlled Petri nets

L. E. Holloway, A. S. Khare

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.

Original language	English
Title of host publication	Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002
Editors	Alessandro Giua, Manuel Silva, Jose M. Colom
Pages	225-230
Number of pages	6
ISBN (Electronic)	0769516831, 9780769516837
DOIs	https://doi.org/10.1109/WODES.2002.1167692
State	Published - 2002
Event	6th International Workshop on Discrete Event Systems, WODES 2002 - Zaragoza, Spain Duration: Oct 2 2002 → Oct 4 2002

Publication series

Name	Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Conference

Conference	6th International Workshop on Discrete Event Systems, WODES 2002
Country/Territory	Spain
City	Zaragoza
Period	10/2/02 → 10/4/02

Bibliographical note

Publisher Copyright:
© 2002 IEEE.

ASJC Scopus subject areas

Control and Systems Engineering
Computer Networks and Communications
Modeling and Simulation

Access to Document

10.1109/WODES.2002.1167692

Cite this

Holloway, L. E., & Khare, A. S. (2002). Computing bounds for forbidden state reachability functions for controlled Petri nets. In A. Giua, M. Silva, & J. M. Colom (Eds.), Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002 (pp. 225-230). Article 1167692 (Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002). https://doi.org/10.1109/WODES.2002.1167692

@inproceedings{524616ab1f174b8e8e1c8165e39b02d7,

title = "Computing bounds for forbidden state reachability functions for controlled Petri nets",

abstract = "Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.",

author = "Holloway, {L. E.} and Khare, {A. S.}",

note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 6th International Workshop on Discrete Event Systems, WODES 2002 ; Conference date: 02-10-2002 Through 04-10-2002",

year = "2002",

doi = "10.1109/WODES.2002.1167692",

language = "English",

series = "Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002",

pages = "225--230",

editor = "Alessandro Giua and Manuel Silva and Colom, {Jose M.}",

booktitle = "Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002",

}

Holloway, LE & Khare, AS 2002, Computing bounds for forbidden state reachability functions for controlled Petri nets. in A Giua, M Silva & JM Colom (eds), Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002., 1167692, Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002, pp. 225-230, 6th International Workshop on Discrete Event Systems, WODES 2002, Zaragoza, Spain, 10/2/02. https://doi.org/10.1109/WODES.2002.1167692

Computing bounds for forbidden state reachability functions for controlled Petri nets. / Holloway, L. E.; Khare, A. S.
Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002. ed. / Alessandro Giua; Manuel Silva; Jose M. Colom. 2002. p. 225-230 1167692 (Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Computing bounds for forbidden state reachability functions for controlled Petri nets

AU - Holloway, L. E.

AU - Khare, A. S.

PY - 2002

Y1 - 2002

N2 - Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.

AB - Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.

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

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

U2 - 10.1109/WODES.2002.1167692

DO - 10.1109/WODES.2002.1167692

M3 - Conference contribution

AN - SCOPUS:84936774969

T3 - Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

SP - 225

EP - 230

BT - Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

A2 - Giua, Alessandro

A2 - Silva, Manuel

A2 - Colom, Jose M.

T2 - 6th International Workshop on Discrete Event Systems, WODES 2002

Y2 - 2 October 2002 through 4 October 2002

ER -

Computing bounds for forbidden state reachability functions for controlled Petri nets

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this