Articulation of Transition Systems and Its Application to Petri Net Synthesis

被引：4
|
作者：
Devillers, Raymond [1 ]
机构：
[1] Univ Libre Bruxelles, Blvd Triomphe,CP 212, B-1050 Brussels, Belgium
来源：
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019 | 2019年 / 11522卷
关键词：
Labelled transition systems; Composition; Decomposition; Petri net synthesis; ALGORITHMS;
D O I：
10.1007/978-3-030-21571-2_8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining LTS decomposition techniques and corresponding PN composition operators to recombine the solutions of the various components. The paper explores how an articulation decomposition, possibly combined with a product and addition technique developed in previous papers, may be used in this respect and generalises sequence operators, as well as looping ones.
引用
收藏
页码：113 / 126
页数：14
相关论文
共 50 条
  • [1] Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
    Devillers, Raymond
    FUNDAMENTA INFORMATICAE, 2021, 183 (1-2) : 1 - 31
  • [2] Replacement Operation of Petri Net and Its Application to Systems Hierarchical Modeling
    JIANG Changjun *\ LI Caiwei ** \ ZHENG Yingping ** *Department of Computer Science
    JournalofSystemsScienceandSystemsEngineering, 1998, (01) : 3 - 5
  • [3] A prioritized Petri Net model and its application in distributed multimedia systems
    Guan, SU
    Yu, HY
    Yang, JS
    IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (04) : 477 - 481
  • [4] OR-transition Colored Petri Net and its Application in Modeling Software System
    Yu, Yong
    Li, Tong
    Liu, Qing
    Dai, Fei
    Zhao, Na
    WKDD: 2009 SECOND INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2009, : 15 - 18
  • [5] Logic Petri Net Synthesis for Cooperative Systems
    Luan, Wenjing
    Qi, Liang
    Zhao, Zhongying
    Liu, Jianxin
    Du, Yuyue
    IEEE ACCESS, 2019, 7 : 161937 - 161948
  • [6] 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
  • [7] POC NET, A SUBCLASS OF PETRI NETS, AND ITS APPLICATION TO TIMED PETRI NETS
    OHTA, A
    HISAMURA, T
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1993, 24 (03) : 539 - 552
  • [8] Membrane Systems and Petri Net Synthesis (Invited Paper)
    Kleijn, Jetty
    Koutny, Maciej
    Pietkiewicz-Koutny, Marta
    Rozenberg, Grzegorz
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (100): : 1 - 13
  • [9] Petri net based Synthesis method to construct Optimal controllers and its application to a Jobshop scheduling
    Lee, Eun Joo
    Jeong, In-Jae
    Lee, Jeehyoung
    ISDA 2008: EIGHTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, VOL 1, PROCEEDINGS, 2008, : 637 - 642
  • [10] HIERARCHY COOPERATION INHIBIT ARC PETRI NET AND ITS APPLICATION
    Zhao, Jiafeng
    Ma, Xiuzhen
    Fei, Jingzhou
    CONTROL AND INTELLIGENT SYSTEMS, 2013, 41 (04) : 203 - 209
12345