On structural property preservation by ST-composition of Petri nets

被引：0
|
作者：
Du, Yuyue
Li, Xiaozhong
Qiao, Bingwu
机构：
来源：
Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems | 1999年 / 20卷 / 10期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：789 / 793
相关论文
共 50 条
  • [31] Component Composition using Linear Logic and Petri Nets
    Demeterova, Emilia
    Mihalyi, Daniel
    Novitzka, Valerie
    2015 IEEE 13th International Scientific Conference on Informatics, 2015, : 85 - 90
  • [32] Property analysis of logic Petri nets by marking reachability graphs
    Yuyue Du
    Yuhui Ning
    Frontiers of Computer Science, 2014, 8 : 684 - 692
  • [33] Property analysis of logic Petri nets by marking reachability graphs
    Du, Yuyue
    Ning, Yuhui
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (04) : 684 - 692
  • [34] Property-Preserving Generation of Tailored Benchmark Petri Nets
    Steffen, Bernhard
    Jasper, Marc
    Meijer, Jeroen
    van de Pol, Jaco
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 1 - 8
  • [35] Property Preservation and Application of a kind of Petri net Synthesis
    Xia, Chuanliang
    2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 35 - 38
  • [36] Property preservation by Petri net synthesis in system design
    Xia, Chuanhang
    2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES: ITESS 2008, VOL 2, 2008, : 6 - 11
  • [37] Modeling Privacy Preservation in Smart Connected Toys by Petri-Nets
    Yankson, Benjamin
    Iqbal, Farkhund
    Lu, Zhihui
    Wang, Xiaoling
    Hung, Patrick C. K.
    PROCEEDINGS OF THE 52ND ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2019, : 1696 - 1705
  • [38] Schedulability Analysis of Petri Nets Based on Structural Properties
    Liu, Cong
    Kondratyev, Alex
    Watanabe, Yosinori
    Desel, Joerg
    Sangiovanni-Vincentelli, Alberto
    FUNDAMENTA INFORMATICAE, 2008, 86 (03) : 325 - 341
  • [39] Structural Fault Diagnosis in Timed Continuous Petri Nets
    Fraustro, J. A.
    Ruiz-Leon, J.
    Vazquez, C. R.
    Ramirez-Trevino, A.
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 159 - 164
  • [40] Verification in concurrent programming with Petri nets structural techniques
    Barkaoui, K
    Pradat-Peyre, JF
    THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 1998, : 124 - 133
12345