Two Algebraic Process Semantics for Contextual Nets

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.


[img] PDF
Download (359Kb)


We show that the so-called `Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 3540430679
Keywords: petri nets, petri nets processes, context transitions, contextual petri nets
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261826
Accepted Date and Publication Date:
Date Deposited: 05 Feb 2006
Last Modified: 31 Mar 2016 14:04
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics