Observable liveness of Petri nets with controllable and observable transitions

被引：0
作者：
Guanjun Liu
Changjun Jiang
机构：
[1] Tongji University,Department of Computer Science
[2] Tongji University,Key Laboratory of Embedded System and Service Computing of Ministry of Education
[3] Tongji University,E
来源：
Science China Information Sciences | 2017年 / 60卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Robust liveness enforcement of Petri nets with uncontrollable and unobservable transitions based on structural analysis
    Li, Xiaoyang
    Liu, Gaiyun
    Qin, Meng
    Li, Zhiwu
    IET CONTROL THEORY AND APPLICATIONS, 2023, 17 (04) : 477 - 492
  • [32] Petri Nets Liveness Analysis by minimal siphons
    Jeng, MD
    Peng, MY
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 315 - 320
  • [33] Liveness characteristic analysis of a class of Petri nets
    Liu, Miao
    He, Zhou
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (06):
  • [34] Structural Liveness of Immediate Observation Petri Nets
    Jancar, Petr
    Valusek, Jiri
    FUNDAMENTA INFORMATICAE, 2022, 188 (03) : 179 - 215
  • [35] Place Bisimulation and Liveness for Open Petri Nets
    Dong, Xiaoju
    Fu, Yuxi
    Varacca, Daniele
    DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 1 - 17
  • [36] On Compositionality of Boundedness and Liveness for Nested Petri Nets
    Dworzanski, Leonid W.
    Lomazova, Irina A.
    FUNDAMENTA INFORMATICAE, 2012, 120 (3-4) : 275 - 293
  • [37] OBSERVABLE NUCLEAR-PHASE TRANSITIONS
    GARRETT, JD
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1991, 201 : 68 - NUCL
  • [38] Strongly observable and controllable realization of descriptor systems
    Fang, Chun-Hsiung, 1600, (06):
  • [39] An Observable and Controllable Testing Framework for Modern Systems
    Yu, Tingting
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1377 - 1380
  • [40] A NOTE CONCERNING OBSERVABLE BUT NOT CONTROLLABLE MODES AND STABILITY
    DESOER, CA
    FORYS, LJ
    IEEE TRANSACTIONS ON CIRCUIT THEORY, 1969, CT16 (1P1): : 92 - &
12345