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 条

[41] DP AUTOMATA AND PETRI NETS [J].

Kere, Monica .

KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, :305-314

[42] Petri nets and agile manufacturing [J].

Zhou, MengChu ;

Li, ZhiWu .

TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) :3-8

[43] ω-Petri Nets: Algorithms and Complexity [J].

Geeraerts, Gilles ;

Heussner, Alexander ;

Praveen, M. ;

Raskin, Jean-Francois .

FUNDAMENTA INFORMATICAE, 2015, 137 (01) :29-60

[44] Petri Nets with Structured Data [J].

Badouel, Eric ;

Helouet, Loic ;

Morvan, Christophe .

FUNDAMENTA INFORMATICAE, 2016, 146 (01) :35-82

[45] Real-Time Adaptive Allocation of Emergency Department Resources and Performance Simulation Based on Stochastic Timed Petri Nets [J].

Wang, Jun ;

Wang, Jiacun .

IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2023, 10 (04) :1986-1996

[46] Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets [J].

Mo, Qi ;

Wang, Jianeng ;

Jiang, Chengting ;

Xie, Zhongwen ;

Liu, Cong ;

Dai, Fei .

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2024, 54 (02) :800-812

[47] Simulation and Improvement of Patients' Workflow in Heart Clinics during COVID-19 Pandemic Using Timed Coloured Petri Nets [J].

Zeinalnezhad, Masoomeh ;

Chofreh, Abdoulmohammad Gholamzadeh ;

Goni, Feybi Ariani ;

Klemes, Jiri Jaromir ;

Sari, Emelia .

INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, 2020, 17 (22) :1-18

[48] Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets [J].

Han, Seungwok ;

Youn, Hee Yong .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (03) :630-640

[49] Methods For Functional Parallel Processes Implementation for Network Functions Virtualization Based on Coloured Petri Nets [J].

Mochalov, V. P. ;

Bratchenko, N. Yu ;

Nikulin, V., I ;

Yakovlev, S., V .

XLIV ACADEMIC SPACE CONFERENCE: DEDICATED TO THE MEMORY OF ACADEMICIAN S.P. KOROLEV AND OTHER OUTSTANDING RUSSIAN SCIENTISTS - PIONEERS OF SPACE EXPLORATION, 2021, 2318

[50] The Reachability Problem for Petri Nets Is Not Elementary [J].

Czerwinski, Wojciech ;

Lasota, Slawomir ;

Lazic, Ranko ;

Leroux, Jerome ;

Mazowiecki, Filip .

PROCEEDINGS OF THE 51ST ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '19), 2019, :24-33

← 1 2 3 4 5 →