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 条
  • [31] A new stochastic Petri net model and its applications to logistics systems
    Karim Labadi
    4OR, 2008, 6 : 407 - 410
  • [32] A new stochastic Petri net model and its applications to logistics systems
    Labadi, Karim
    4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH, 2008, 6 (04): : 407 - 410
  • [33] Application of Stochastic Petri net for the evaluation of intrusion-tolerant systems in distributed systems
    Guo Yuanbo
    Wang Chao
    Ma Jianfeng
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 5556 - 5559
  • [34] A formal technique for the synthesis of Petri net supervisors for Discrete Event Systems
    Jones, AH
    Uzam, M
    UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 845 - 852
  • [35] Petri net synchronous synthesis method for modelling flexible manufacturing systems
    Wang, H.B.
    Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2001, 21 (02):
  • [36] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Chuanliang Xia
    Chengdong Li
    IEEE/CAA Journal of Automatica Sinica, 2021, 8 (04) : 905 - 915
  • [37] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Xia, Chuanliang
    Li, Chengdong
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2021, 8 (04) : 905 - 915
  • [38] Extending the knitting technique to Petri net synthesis of automated manufacturing systems
    Chao, Daniel Y., 1600, (37):
  • [39] Incremental synthesis of Petri net models for identification of discrete event systems
    Meda-Campaña, ME
    López-Mellado, E
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 805 - 810
  • [40] TORA - A PETRI NET BASED TOOL FOR RAPID PROTOTYPING OF FMS CONTROL-SYSTEMS AND ITS APPLICATION TO ASSEMBLY
    MICOVSKY, A
    SESERA, L
    VEISHAB, M
    ALBERT, M
    COMPUTERS IN INDUSTRY, 1990, 15 (04) : 279 - 292
12345