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 条
  • [31] Petri nets with clocks and applications to the model of processes
    Vilallonga, G
    Riesco, D
    Montejano, G
    Uzal, R
    Felice, L
    ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 593 - 597
  • [32] Modeling Multithreaded Applications Using Petri Nets
    Krishna M. Kavi
    Alireza Moshtaghi
    Deng-jyi Chen
    International Journal of Parallel Programming, 2002, 30 : 353 - 371
  • [33] TIMED PETRI NETS DEFINITIONS, PROPERTIES, AND APPLICATIONS
    ZUBEREK, WM
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 627 - 644
  • [34] Properties and applications of synchronized choice Petri nets
    Chao, DY
    Niedao, JA
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2742 - 2747
  • [35] Special issue on engineering applications of Petri nets
    Jeng, Mu-Der
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 37 (04): : 442 - 443
  • [36] Property analysis of logic Petri nets by marking reachability graphs
    Yuyue Du
    Yuhui Ning
    Frontiers of Computer Science, 2014, 8 : 684 - 692
  • [37] Property analysis of logic Petri nets by marking reachability graphs
    Du, Yuyue
    Ning, Yuhui
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (04) : 684 - 692
  • [38] On structural property preservation by ST-composition of Petri nets
    Du, Yuyue
    Li, Xiaozhong
    Qiao, Bingwu
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 1999, 20 (10): : 789 - 793
  • [39] Property-Preserving Generation of Tailored Benchmark Petri Nets
    Steffen, Bernhard
    Jasper, Marc
    Meijer, Jeroen
    van de Pol, Jaco
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 1 - 8
  • [40] Hybrid Petri nets and analysis of its reachability
    Li, Huifeng
    Zhou, Rui
    Chen, Zongji
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2000, 26 (02): : 149 - 152
12345