The confluence property for Petri nets and its applications

被引：0
|
作者：
Leahu, Ioana [1 ]
Tiplea, Ferucio Laurentiu [1 ]
机构：
[1] Alexandru Ioan Cuza Univ, Fac Comp Sci, Iasi, Romania
来源：
SYNASC 2006: EIGHTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A Petri net is confluent if its firing relation is confluent, i.e., for any two reachable markings there exists a marking reachable from both of them. We prove that confluence is a decidable Property for Petri nets and it is preserved by asynchronous parallel composition. Applications to Petri net structural transformations and term rewriting systems are then pointed out.
引用
收藏
页码：430 / +
页数：2
相关论文
共 50 条
  • [1] On a new type of extended Petri nets and its applications
    Tsuji, K
    ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL I: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 192 - 195
  • [2] Reachability of nonsynchronized choice Petri nets and its applications
    Chao, DY
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2005, 35 (06): : 1203 - 1213
  • [3] The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets
    Tiplea, Ferucio Laurentiu
    Leahu, Ioana
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (02): : 303 - 312
  • [4] Property specification for coloured Petri nets
    Roubtsova, EE
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 2617 - 2622
  • [5] Petri nets modeling applications
    Choudhury, DR
    Chordiya, N
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 87 - 92
  • [6] Stochastic Petri nets and their applications
    Trivedi, KS
    Sun, HR
    Cao, YH
    Ma, Y
    PERFORMANCE AND QOS OF NEXT GENERATION NETWORKING, 2001, : 283 - 298
  • [7] 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
  • [8] 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
  • [9] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
  • [10] PANEL - APPLICATIONS OF PERFORMANCE PETRI NETS
    DUGAN, JB
    SUGASAWA, Y
    SANDERS, WH
    CHIOLA, G
    CIARDO, G
    PERFORMANCE EVALUATION, 1990, 11 (01) : 75 - 76
12345