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] Timed processes of timed Petri nets
Valero, V
deFrutos, D
Cuartero, F
APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
[2] Processes of timed Petri nets
Winkowski, J
THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
[3] Algebras of processes of timed Petri nets
Winkowski, J
CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 194 - 209
[4] BRANCHING-PROCESSES OF PETRI NETS
ENGELFRIET, J
ACTA INFORMATICA, 1991, 28 (06) : 575 - 591
[5] Branching Processes of General Petri Nets
Couvreur, Jean-Michel
Poitrenaud, Denis
Weil, Pascal
APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 129 - 148
[6] Branching Processes of General Petri Nets
Couvreur, Jean-Michel
Poitrenaud, Denis
Weil, Pascal
FUNDAMENTA INFORMATICAE, 2013, 122 (1-2) : 31 - 58
[7] Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets
Pelz, Elisabeth
FUNDAMENTA INFORMATICAE, 2018, 157 (04) : 427 - 442
[8] Hierarchical timed high level nets and their branching processes
Fleischhack, H
Pelz, E
APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 397 - 416
[9] TIMED PETRI NETS
MARSAN, MA
COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (05): : 312 - 313
[10] Timed petri nets
Advances in Automation and Robotics, 1990, 2

← 1 2 3 4 5 →