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 条

[41] MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS [J].

VOGLER, W .

LECTURE NOTES IN COMPUTER SCIENCE, 1992, 625 :R3-+

[42] Integrated Structure and Semantics for Reo Connectors and Petri Nets [J].

Krause, Christian .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (12) :57-69

[43] On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations [J].

Sassone, V. .

Bulletin of the European Association for Theoretical Computer Science, 1994, (53)

[44] Process semantics of Petri nets over partial algebra [J].

Desel, J ;

Juhás, G ;

Lorenz, R .

APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 :146-165

[45] A PETRI NETS SEMANTICS FOR DATA-FLOW NETWORKS [J].

BERNARDESCHI, C ;

DEFRANCESCO, N ;

VAGLINI, G .

ACTA INFORMATICA, 1995, 32 (04) :347-374

[46] A COMPOSITIONAL DATA-FLOW SEMANTICS FOR PETRI NETS [J].

GOLD, R .

ACTA INFORMATICA, 1995, 32 (07) :627-645

[47] PASCAL SEMANTICS BY A COMBINATION OF DENOTATIONAL SEMANTICS AND HIGH-LEVEL PETRI NETS [J].

JENSEN, K ;

SCHMIDT, EM .

LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 :297-329

[48] Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity [J].

Juhas, Gabriel ;

Lorenz, Robert ;

Mauser, Sebastian .

FUNDAMENTA INFORMATICAE, 2008, 86 (03) :255-298

[49] Process versus unfolding semantics for place/transition Petri nets [J].

Meseguer, J ;

Montanari, U ;

Sassone, V .

THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) :171-210

[50] EXECUTIONS - A NEW PARTIAL-ORDER SEMANTICS OF PETRI NETS [J].

VOGLER, W .

THEORETICAL COMPUTER SCIENCE, 1991, 91 (02) :205-238

← 1 2 3 4 5 →