Loose semantics of Petri nets

被引：0

作者：

Padberg, J ^{[1
]}

Kreowski, HJ

机构：

[1] Tech Univ Berlin, Fak Informat & Elektrotech 4, Berlin, Germany

[2] Univ Bremen, Fachbereich Math & Informat, Bremen, Germany

来源：

FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING: ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY | 2005年 / 3393卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we propose a new,loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a place/transition net reflects all its possible refinements and is given as a category of transition systems with alternative sequences of events over the net. The main result states that each plain morphism between two place/transitions nets induces a free construction between the corresponding semantic categories.

引用

页码：370 / 384

页数：15

共 50 条

[21] An event structure semantics for general Petri nets [J].

Hoogers, PW ;

Kleijn, HCM ;

Thiagarajan, PS .

THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) :129-170

[22] On Causal Semantics of Petri Nets (Extended Abstract) [J].

van Glabbeek, Rob J. ;

Goltz, Ursula ;

Schicke, Jens-Wolfhard .

CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 :43-+

[23] DATA-FLOW SEMANTICS FOR PETRI NETS [J].

GOLD, R .

LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 :275-283

[24] Comparative trace semantics of time Petri nets [J].

D. I. Bushin ;

I. B. Virbitskaite .

Programming and Computer Software, 2015, 41 :131-139

[25] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS [J].

VOGLER, W .

LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 :542-551

[26] FAILURES SEMANTICS AND DEADLOCKING OF MODULAR PETRI NETS [J].

VOGLER, W .

ACTA INFORMATICA, 1989, 26 (04) :333-348

[27] Reactive Semantics for Component Based Petri Nets [J].

Hammal, Youcef .

2012 2ND IEEE INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2012, :795-805

[28] Interval semantics for Petri nets with inhibitor arcs [J].

Alqarni, Mohammad ;

Janicki, Ryszard .

THEORETICAL COMPUTER SCIENCE, 2018, 727 :1-23

[29] Canonical Transition Set Semantics for Petri Nets [J].

Wang, Yunhe ;

Jiao, Li .

APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 :84-103

[30] A collective interpretation semantics for reversing Petri nets [J].

Philippou, Anna ;

Psara, Kyriaki .

THEORETICAL COMPUTER SCIENCE, 2022, 924 :148-170

← 1 2 3 4 5 →