Characterizing uncontrollable reachability for colored controlled petri nets

Jeffrey Ashley; Lawrence E. Holloway

doi:10.1109/ICSMC.1994.399967

Characterizing uncontrollable reachability for colored controlled petri nets

Jeffrey Ashley, Lawrence E. Holloway

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Abstract

This paper establishes the groundwork for a forbidden state control synthesis method for Controlled Colored Petri Nets(CtlCPN). In particular, this paper investigates characterizing uncontrollable reachability for CtlCPNs by developing algebraic expressions from specifications of forbidden states. These expressions represent the uncontrollable dynamics of a net model. For any net marking (state), these expressions are evaluated on-line to determine whether forbidden markings are reachable.

Original language	English
Pages (from-to)	1000-1005
Number of pages	6
Journal	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume	1
DOIs	https://doi.org/10.1109/ICSMC.1994.399967
State	Published - 1994
Event	Proceedings of the 1994 IEEE International Conference on Systems, Man and Cybernetics. Part 1 (of 3) - San Antonio, TX, USA Duration: Oct 2 1994 → Oct 5 1994

ASJC Scopus subject areas

Control and Systems Engineering
Hardware and Architecture

Access to Document

10.1109/ICSMC.1994.399967

Cite this

@article{df1cf85a0551412d91a127cb1d575640,

title = "Characterizing uncontrollable reachability for colored controlled petri nets",

abstract = "This paper establishes the groundwork for a forbidden state control synthesis method for Controlled Colored Petri Nets(CtlCPN). In particular, this paper investigates characterizing uncontrollable reachability for CtlCPNs by developing algebraic expressions from specifications of forbidden states. These expressions represent the uncontrollable dynamics of a net model. For any net marking (state), these expressions are evaluated on-line to determine whether forbidden markings are reachable.",

author = "Jeffrey Ashley and Holloway, {Lawrence E.}",

year = "1994",

doi = "10.1109/ICSMC.1994.399967",

language = "English",

volume = "1",

pages = "1000--1005",

note = "Proceedings of the 1994 IEEE International Conference on Systems, Man and Cybernetics. Part 1 (of 3) ; Conference date: 02-10-1994 Through 05-10-1994",

}

TY - JOUR

T1 - Characterizing uncontrollable reachability for colored controlled petri nets

AU - Ashley, Jeffrey

AU - Holloway, Lawrence E.

PY - 1994

Y1 - 1994

N2 - This paper establishes the groundwork for a forbidden state control synthesis method for Controlled Colored Petri Nets(CtlCPN). In particular, this paper investigates characterizing uncontrollable reachability for CtlCPNs by developing algebraic expressions from specifications of forbidden states. These expressions represent the uncontrollable dynamics of a net model. For any net marking (state), these expressions are evaluated on-line to determine whether forbidden markings are reachable.

AB - This paper establishes the groundwork for a forbidden state control synthesis method for Controlled Colored Petri Nets(CtlCPN). In particular, this paper investigates characterizing uncontrollable reachability for CtlCPNs by developing algebraic expressions from specifications of forbidden states. These expressions represent the uncontrollable dynamics of a net model. For any net marking (state), these expressions are evaluated on-line to determine whether forbidden markings are reachable.

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

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

U2 - 10.1109/ICSMC.1994.399967

DO - 10.1109/ICSMC.1994.399967

M3 - Conference article

AN - SCOPUS:0028739801

SN - 0884-3627

VL - 1

SP - 1000

EP - 1005

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

T2 - Proceedings of the 1994 IEEE International Conference on Systems, Man and Cybernetics. Part 1 (of 3)

Y2 - 2 October 1994 through 5 October 1994

ER -

Characterizing uncontrollable reachability for colored controlled petri nets

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this