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 条
  • [1] Structural Property Preservation of a Kind of Petri Net Refinement
    Xia, Chuanliang
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 437 - 442
  • [2] On the composition of time Petri nets
    Peres, Florent
    Berthomieu, Bernard
    Vernadat, Francois
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2011, 21 (03): : 395 - 424
  • [3] On the composition of time Petri nets
    Florent Peres
    Bernard Berthomieu
    François Vernadat
    Discrete Event Dynamic Systems, 2011, 21 : 395 - 424
  • [4] Property specification for coloured Petri nets
    Roubtsova, EE
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 2617 - 2622
  • [5] Structural Differential of Petri Nets
    Li, Jun
    Diao, Yongfeng
    Yin, Xing
    PROCEEDINGS OF 2008 INTERNATIONAL PRE-OLYMPIC CONGRESS ON COMPUTER SCIENCE, VOL I: COMPUTER SCIENCE AND ENGINEERING, 2008, : 137 - 142
  • [6] Block composition addition nets of petri nets and their properties
    Li, Xiaozhong
    Du, Yuyue
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (10): : 1062 - 1064
  • [7] Policy Composition based on Petri Nets
    Huang, Hejiao
    Kirchner, Helene
    2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 1089 - +
  • [8] The confluence property for Petri nets and its applications
    Leahu, Ioana
    Tiplea, Ferucio Laurentiu
    SYNASC 2006: EIGHTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2007, : 430 - +
  • [9] Property Directed Reachability for Generalized Petri Nets
    Amat, Nicolas
    Dal Zilio, Silvano
    Hujsa, Thomas
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 505 - 523
  • [10] Structural properties of a class of Petri nets
    Amer-Yahia, C
    Zerhouni, N
    El Moudni, A
    Ferney, M
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 215 - 220
12345