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 条
[31]   Heuristic Scheduling Method for FMSs Based on P-timed Petri Nets and Deep Learning [J].
Li, Jun ;
Luo, Jiliang ;
Li, Xuhang ;
Yi, Sijia ;
Pan, Chunrong .
2022 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, ICNSC, 2022, :341-346
[32]   On Distributability of Petri Nets [J].
van Glabbeek, Rob ;
Goltz, Ursula ;
Schicke-Uffmann, Jens-Wolfhard .
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 :331-345
[33]   Fluidization of Stochastic Petri Nets via Continuous Petri Nets: Comparative Study [J].
El-Moumen, Hamid ;
El Akchioui, Nabil .
JOURNAL OF CONTROL AUTOMATION AND ELECTRICAL SYSTEMS, 2024, 35 (02) :401-414
[34]   Enhancing hybrid state Petri nets with the analysis power of stochastic hybrid processes [J].
Everdij, Mariken H. C. ;
Blom, Henk A. P. .
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, :400-405
[35]   Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching [J].
Aybar, Aydin ;
Iftar, Altug .
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2012, 6 (01) :712-729
[36]   Resource Equivalences in Petri Nets [J].
Lomazova, Irina A. .
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 :19-34
[37]   Petri Nets with Structured Data [J].
Badouel, Eric ;
Helouet, Loic ;
Morvan, Christophe .
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 :212-233
[38]   Logical Petri Nets with Data [J].
Liu, Wei ;
Wang, Pin ;
Du, Yuyue ;
Yan, Chun .
2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, :840-844
[39]   On persistent reachability in Petri nets [J].
Barylska, Kamila ;
Mikulski, Lukasz ;
Ochmanski, Edward .
INFORMATION AND COMPUTATION, 2013, 223 :67-77
[40]   Shrinking of Time Petri nets [J].
Lime, Didier ;
Martinez, Claude ;
Roux, Olivier H. .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (04) :419-438
12345