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

Producción científica: Conference article › revisión exhaustiva

1 Cita (Scopus)

Resumen

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.

Idioma original	English
Páginas (desde-hasta)	1000-1005
Número de páginas	6
Publicación	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volumen	1
DOI	https://doi.org/10.1109/ICSMC.1994.399967
Estado	Published - 1994
Evento	Proceedings of the 1994 IEEE International Conference on Systems, Man and Cybernetics. Part 1 (of 3) - San Antonio, TX, USA Duración: oct 2 1994 → oct 5 1994

ASJC Scopus subject areas

Control and Systems Engineering
Hardware and Architecture

Acceder al documento

10.1109/ICSMC.1994.399967

Otros archivos y enlaces

Link to publication in Scopus

Citar esto

@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 - https://www.scopus.com/pages/publications/0028739801

UR - https://www.scopus.com/pages/publications/0028739801#tab=citedBy

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

Resumen

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto