Time Arc Petri Nets and their analysis

被引：2
|
作者：
Rakkay, Hind [1 ]
Boucheneb, Hanifa [1 ]
Roux, Olivier H. [2 ]
机构：
[1] Ecole Polytech, Dept Comp Engn, POB 6079,Stn Ctr Ville, Montreal, PQ H3C 3A7, Canada
[2] Ecole Cent Nantes, IRCCyN, F-44321 Nantes 3, France
来源：
NINTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 2009年
关键词：
Time arc Petri nets; strong and weak semantics; state space abstraction; state zone graph;
D O I：
10.1109/ACSD.2009.21
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose to extend time arc Petri nets by associating with each transition a strong or a weak firing semantics. The proposed model includes the semantics of existing time Petri nets where time intervals are associated with places, transitions and arcs in their weak and strong semantics. We show afterwards that state space abstraction techniques for constructing zone graphs can be adapted to the proposed model. For the theory of time Petri nets this result gives the decidability of k-boundedness, marking reachability and language emptiness problems for the proposed model and all its sub-classes.
引用
收藏
页码：138 / +
页数：3
相关论文
共 50 条
  • [11] A Mathematical Model Using Time Elements for Timed-Arc Petri Nets
    Yufka, Alpaslan
    Ozkan, Hanife Apaydin
    Aybar, Aydin
    GAZI UNIVERSITY JOURNAL OF SCIENCE, 2020, 33 (04): : 749 - 764
  • [12] Timed Arc Petri Nets: The Impulsive Approach
    Yufka, Alpaslan
    Ozkan, Hanife Apaydin
    Aybar, Aydin
    2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 409 - 414
  • [13] Typed Petri Nets with Variable Arc Weights
    Lomazova, Irina A.
    Mitsyuk, Alexey A.
    Rivkin, Andrey
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, BPM 2023, 2024, 492 : 483 - 495
  • [14] Verification of Timed-Arc Petri Nets
    Jacobsen, Lasse
    Jacobsen, Morten
    Moller, Mikael H.
    Srba, Jiri
    SOFSEM 2011: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2011, 6543 : 46 - 72
  • [15] Time Petri nets for modelling and analysis of biochemical networks
    Popova-Zeugmann, L
    Heiner, M
    Koch, I
    FUNDAMENTA INFORMATICAE, 2005, 67 (1-3) : 149 - 162
  • [16] State space computation and analysis of Time Petri Nets
    Gardey, Guillaume
    Roux, Olivier H.
    Roux, Olivier F.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 301 - 320
  • [17] New perspectives in time(d) Petri Nets and their analysis
    Salum, L
    CCA 2003: PROCEEDINGS OF 2003 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 2003, : 1041 - 1045
  • [18] Analysis of discrete-time stochastic Petri nets
    van der Aalst, WMP
    van Hee, KM
    Reijers, HA
    STATISTICA NEERLANDICA, 2000, 54 (02) : 237 - 255
  • [19] Safety Analysis based on Stochastic Time Petri Nets
    Peng, Ying
    Yao, Shu-zhen
    Tan, Huo-bin
    2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND APPLICATIONS (CSA), 2015, : 287 - 292
  • [20] Abstract state spaces for Time Petri nets analysis
    Berthomieu, Bernard
    Peres, Florent
    Vernadat, Francois
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 298 - 304
12345