MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Semantics of Place/Transition Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

On the Semantics of Place/Transition Nets
by Rémi Morin, Brigitte Rozoy — 1999 — CONCUR'99, LNCS 1664
…On the Semantics of Place/Transition Nets Rémi Morin and Brigitte Rozoy L.R.I., Bât. 490…
Cited by 2 (1 self) – Add To MetaCart

A Taste of Categorical Petri Nets
by Claudia Ermel Alfio, Claudia Ermel, Claudia Ermel, Alfio Martini, Alfio Martini
… of semantics of place/transition Nets by a marking graph construction is shown to be nothing else than…
Add To MetaCart

An Algebraic Semantics for Hierarchical P/T Nets
by Twan Basten, Marc Voorhoeve — 1995 — Proc. of ICATPN'95, G. DeMichelis and M. Diaz (Eds.). Springer, Lecture Notes in Computer Science 935
…,wsinmarc}@(email omitted); Abstract The first part of this paper gives an algebraic semantics for Place/Transition nets in terms…
Cited by 3 (1 self) – Add To MetaCart

An Algebraic Semantics for Hierarchical P/T Nets (Extended Abstract)
by Twan Basten, Marc Voorhoeve — 1995 — Application and Theory of Petri Nets 1995, 16th. International Conference, Proceedings, volume 935 of Lecture Notes in Computer Science
… for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic…
Cited by 3 (3 self) – Add To MetaCart

A Petri net representation for dynamic programming problems in management applications
by Holger Mauch — In Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS2004), Waikoloa
… semantics of place/transition nets, a low-level PN class, whereas previous work [3, 4, 5] relied on high…
Cited by 1 (1 self) – Add To MetaCart

Rewriting Logic as a Unifying Framework for Petri Nets
by Mark-Oliver Stehr, José Meseguer, Peter Csaba — 2001 — Unifying Petri Nets, LNCS
… the rewriting semantics for place/transition nets to algebraic net specications, which we view as colored net…
Cited by 12 (6 self) – Add To MetaCart

Process Semantics of General Inhibitor Nets
by H. C. M. Kleijn, M. Koutny — 2004 — Inf. Comput
… define a causality semantics of Place/Transition nets with weighted inhibitor arcs (PTI-nets). We extend…
Cited by 4 (0 self) – Add To MetaCart

Evaluation of the Story Driven Modeling Methodology: From Towers to Models Abstract—Story Driven Modeling (SDM [1], [2]) aims to
by unknown authors
… of a Petri-Net model. The transformation realizes the operational semantics of Place Transition nets…
Add To MetaCart

Object Coordination Nets 2.0 -- Semantics Specification
by Holger Giese — 1999
… the understanding we will first define the semantic and structure for untyped place transition nets with the terms…
Cited by 7 (6 self) – Add To MetaCart

Synchrony and asynchrony in membrane systems
by Jetty Kleijn, Maciej Koutny — 2006 — Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS 4361
… semantics of its Petri net. In Place/Transition nets with localities (or PTL-nets), the specific class…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB