Branching Processes of Timed Petri Nets

被引：0
|
作者：
Virbitskaite, Irina [1 ,2 ]
Borovlyov, Victor [1 ,2 ]
Popova-Zeugmann, Louchka [3 ]
机构：
[1] SB RAS, AP Ershov Inst Informat Syst, 6 Acad Lavrentiev Ave, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, 2 Pirogov Ave, Novosibirsk 630090, Russia
[3] Humboldt Univ, Unter Linden 6, D-10099 Berlin, Germany
来源：
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015 | 2016年 / 9609卷
关键词：
UNFOLDINGS; SYSTEMS;
D O I：
10.1007/978-3-319-41579-6_23
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The intention of this note is to spread the Couvreur et al.'s semantic framework of branching processes [9], suitable for describing the behavior of general Petri nets with interleaving semantics, to timed general Petri nets with step semantics in order to characterize unfolding as the greatest element of a complete lattice of branching processes. In case of maximal step semantics of timed Petri nets, we impose some restrictions on the model behavior and define a new class of branching processes and unfoldings under the name of apt ones which are shown to satisfy the complete lattice properties.
引用
收藏
页码：303 / 313
页数：11
相关论文
共 50 条
  • [1] Branching Processes of General Petri Nets
    Couvreur, Jean-Michel
    Poitrenaud, Denis
    Weil, Pascal
    FUNDAMENTA INFORMATICAE, 2013, 122 (1-2) : 31 - 58
  • [2] Timed Catalytic Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    Pinna, G. Michele
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
  • [3] Symbolic Analysis of Timed Petri Nets
    Zuberek, Wlodek M.
    THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
  • [4] Controllability of timed continuous Petri nets with uncontrollable transitions
    Renato Vazquez, C.
    Ramirez-Trevino, Antonio
    Silva, Manuel
    INTERNATIONAL JOURNAL OF CONTROL, 2014, 87 (03) : 537 - 552
  • [5] An Automated Framework for Formal Verification of Timed Continuous Petri Nets
    Kloetzer, Marius
    Mahulea, Cristian
    Belta, Calin
    Silva, Manuel
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (03) : 460 - 471
  • [6] Gradient-based controllers for timed continuous Petri nets
    Lefebvre, Dimitri
    Leclercq, Edouard
    Druaux, Fabrice
    Thomas, Philippe
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2015, 46 (09) : 1661 - 1678
  • [7] Approaching minimum time control of timed continuous Petri nets
    Apaydin-Oezkan, Hanife
    Julvez, Jorge
    Mahulea, Cristian
    Silva, Manuel
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 136 - 148
  • [8] Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
    Abdulla, Parosh Aziz
    Mayr, Richard
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 348 - +
  • [9] A Branch and Bound Algorithm for Cyclic Scheduling of Timed Petri Nets
    Jung, Chihyun
    Kim, Hyun-Jung
    Lee, Tae-Eog
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (01) : 309 - 323
  • [10] The Ordinal-Recursive Complexity of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets
    Haddad, Serge
    Schmitz, Sylvain
    Schnoebelen, Philippe
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 355 - 364
12345