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 条
  • [41] Research on the application of Petri net to MTA
    Ma, Lin
    Lu, Chuan
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2004, 30 (03): : 249 - 253
  • [42] A class of Petri net algebraic systems for net transformation
    Li J.
    Dai X.
    Meng Z.
    Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition), 2010, 40 (06): : 1180 - 1184
  • [43] A Petri net extended with stochastic priced transition
    Liu, XM
    Li, SX
    Jiang, Y
    ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2005, : 545 - 548
  • [44] SWITCHING SYSTEMS - GRAFCET OR PETRI NET
    BLANCHARD, M
    NOUVEL AUTOMATISME, 1979, 24 (05): : 45 - 52
  • [45] PETRI NET SEMANTICS OF PRIORITY SYSTEMS
    BEST, E
    KOUTNY, M
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 175 - 215
  • [46] Petri Net representations in systems biology
    Pinney, JW
    Westhead, DR
    McConkey, GA
    BIOCHEMICAL SOCIETY TRANSACTIONS, 2003, 31 : 1513 - 1515
  • [47] A modelization of production systems by Petri net
    Bourcerie, Marc
    GLOBAL COOPERATION IN ENGINEERING EDUCATION: INNOVATIVE TECHNOLOGIES, STUDIES AND PROFESSIONAL DEVELOPMENT - INTERNATIONAL CONFERENCE PROCEEDINGS, 2007, : 101 - 105
  • [48] Expert Enhanced Coloured Stochastic Petri Net and its application in assembly/disassembly
    Kumar, S
    Kumar, R
    Shankar, R
    Tiwari, MK
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2003, 41 (12) : 2727 - 2762
  • [49] Petri Net Modeling for Hybrid Systems Control. Application for a Multicellular Converter
    Florea, Bogdan Cristian
    2013 8TH INTERNATIONAL SYMPOSIUM ON ADVANCED TOPICS IN ELECTRICAL ENGINEERING (ATEE), 2013,
  • [50] Process mining and Petri net synthesis
    Kindler, Ekkart
    Rubin, Vladimir
    Schaefer, Wilhelm
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2006, 4103 : 105 - 116
12345