Observable liveness of Petri nets with controllable and observable transitions

被引：0

作者：

Guanjun LIU ^{[1
,2
,3
]}

Changjun JIANG ^{[2
,3
]}

机构：

[1] Department of Computer Science, Tongji University

[2] Key Laboratory of Embedded System and Service Computing of Ministry of Education,Tongji University

[3] E-commerce Transactions and Information Services Collaborative Innovation Center of Shanghai University Knowledge Service Platform, Tongji University

来源：

Science China(Information Sciences) | 2017年 / 60卷 / 11期

关键词：

net; cot; PN; Observable liveness of Petri nets with controllable and observable transitions;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

Observability and/or controllability are paid much attention to by researchers not only from the control science field[1–3]but also from the computer science field[4–9].Recently,Desel and Kilinc[4]proposed the notion of observable liveness for Petri nets with(un-)observable and(un-)controllable transitions.The purpose of defining observable liveness is to represent that"a user can always enforce the occurrence of any observable transition only by stimulating the net by choosing appropriate enabled controllable transition"[4].An important assumption of

引用

页码：256 / 264

页数：9

共 50 条

[1] Observable liveness of Petri nets with controllable and observable transitions
Guanjun Liu
Changjun Jiang
[J]. Science China Information Sciences, 2017, 60
[2] Observable liveness of Petri nets with controllable and observable transitions
Liu, Guanjun
Jiang, Changjun
[J]. SCIENCE CHINA-INFORMATION SCIENCES, 2017, 60 (11)
[3] Observable liveness of Petri nets
Desel, Joerg
Kilinc, Goerkem
[J]. ACTA INFORMATICA, 2015, 52 (2-3) : 153 - 174
[4] Observable liveness of Petri nets
Jörg Desel
Görkem Kılınç
[J]. Acta Informatica, 2015, 52 : 153 - 174
[5] An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
Chavarin-Aguirre, Pedro
Lopez-Mellado, Ernesto
Lesage, Jean-Jacques
[J]. IFAC PAPERSONLINE, 2018, 51 (07): : 367 - 373
[6] DIAGNOSIS ON A SLIDING WINDOW FOR PARTIALLY OBSERVABLE PETRI NETS
Chouchane, Amira
Declerck, Philippe
[J]. KYBERNETIKA, 2022, 58 (04) : 479 - 497
[7] Liveness enforcing monitors for safe and controllable Petri nets
Lemmon, MD
He, KX
[J]. PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 775 - 780
[8] Supervisory Control in Partially Observable Petri Nets with Sensor Reduction
Ma, Ziyue
He, Zhou
Li, Zhiwu
[J]. 2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 189 - 194
[9] Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets
Li, Zhiwu
Qin, Meng
Zhu, Sen
[J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 406 - 421
[10] ON CONTROLLABLE AND OBSERVABLE THEORY
BELANGER, PR
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1987, 32 (07) : 562 - 562

← 1 2 3 4 5 →