TY - GEN
T1 - Deterministic λ-free Petri net languages and their application to the supervisory control of Discrete Event Dynamic Systems
AU - Sreenivas, Ramavarapu S.
PY - 1993
Y1 - 1993
N2 - In this paper we introduce a family of languages called Deterministic λ-free Petri net languages (DPNLs). We show that the controllability of a DPNL K is contained in Σ* with respect to a DPNL L is contained in Σ* is decidable. That is, it is possible to decide if (i) K is contained in L, and (ii) the intersection of sets KΣu and L is contained in K, where Σc = where the union of sets where the union of sets σu and Σc and the intersection of sets Σu and Σc = 0. We also show that this family of languages strictly includes the family of Free-labeled Petri net languages (FLPNLs), another family of languages where the controllability of one language with respect to another is decidable. Essentially this paper is an extension of reference.
AB - In this paper we introduce a family of languages called Deterministic λ-free Petri net languages (DPNLs). We show that the controllability of a DPNL K is contained in Σ* with respect to a DPNL L is contained in Σ* is decidable. That is, it is possible to decide if (i) K is contained in L, and (ii) the intersection of sets KΣu and L is contained in K, where Σc = where the union of sets where the union of sets σu and Σc and the intersection of sets Σu and Σc = 0. We also show that this family of languages strictly includes the family of Free-labeled Petri net languages (FLPNLs), another family of languages where the controllability of one language with respect to another is decidable. Essentially this paper is an extension of reference.
UR - https://www.scopus.com/pages/publications/0027758388
UR - https://www.scopus.com/pages/publications/0027758388#tab=citedBy
M3 - Conference contribution
AN - SCOPUS:0027758388
SN - 0780317610
T3 - Midwest Symposium on Circuits and Systems
SP - 340
EP - 343
BT - Midwest Symposium on Circuits and Systems
PB - Publ by IEEE
T2 - Proceedings of the 36th Midwest Symposium on Circuits and Systems
Y2 - 16 August 1993 through 18 August 1993
ER -