Making Petri nets safe and free of internal transitions

被引：0
|
作者：
Best, Eike [1 ]
Darondeau, Philippe
Wimmel, Harro
机构：
[1] Carl Ossietzky Univ Oldenburg, Dept Comp Sci, D-26111 Oldenburg, Germany
[2] IRISA, F-35042 Rennes, France
来源：
FUNDAMENTA INFORMATICAE | 2007年 / 80卷 / 1-3期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper discusses the following results: that bounded Petri nets can be transformed into pomset-equivalent safe nets; that bounded marked graphs can be transformed into step-language-equivalent safe marked graphs; that safe labelled marked graphs can be transformed into T-free safe labelled marked graphs; and that marked graphs can be separated. The paper also lists some open problems that have arisen in this context.
引用
收藏
页码：75 / 90
页数：16
相关论文
共 50 条
  • [1] State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
    Alessandro Giua
    Daniele Corona
    Carla Seatzu
    Discrete Event Dynamic Systems, 2005, 15 : 85 - 108
  • [2] State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions
    Giua, A
    Corona, D
    Seatzu, C
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (01): : 85 - 108
  • [3] THE SEQUENTIAL IMPLEMENTATION OF SAFE PETRI NETS
    ZAKREVSKII, AD
    DOKLADY AKADEMII NAUK BELARUSI, 1986, 30 (02): : 120 - 123
  • [4] Possibilistic Timed Safe Petri nets
    Sandri, S
    Cardoso, J
    1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 89 - 94
  • [5] On the construction of pullbacks for safe Petri nets
    Fabre, Eric
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 166 - 180
  • [6] On possibilistic timed safe Petri nets
    Sandri, S
    Cardoso, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (08) : 841 - 858
  • [7] Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
    Best, E
    Wimmel, H
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 63 - 82
  • [8] Stop-transitions of Petri Nets
    Desel, Joerg
    Finthammer, Marc
    FUNDAMENTA INFORMATICAE, 2020, 175 (1-4) : 143 - 172
  • [9] Reversing Transitions in Bounded Petri Nets
    Barylska, Kamila
    Erofeev, Evgeny
    Koutny, Maciej
    Mikulski, Lukasz
    Piatkowski, Marcin
    FUNDAMENTA INFORMATICAE, 2018, 157 (04) : 341 - 357
  • [10] PETRI NET TRANSFORMATION FOR DECISION MAKING: COMPOUND PETRI NETS TO ALTERNATIVES AGGREGATION PETRI NETS
    Ignacio Latorre-Biel, Juan
    Jimenez-Macias, Emilio
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 613 - 618
12345