We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net behaviors

Bruni, R.

Sassone, V.

English

Abstract. We extend the algebraic approach of Meseguer and Monta-nari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net behaviors

Roberto Bruni

Vladimiro Sassone

CiteSeerX

Algebraic models for contextual nets

BRUNI, ROBERTO

SASSONE V.

Archivio della Ricerca - Università di Pisa

Algebraic Models for Contextual Nets

Southampton (e-Prints Soton)

A comparison of Petri net semantics under the collective token philosophy.

An event structure semantics for P/T contextual nets: Asymmetric event structures.

Axiomatizing the algebra of net computations and processes.

Axioms for contextual net processes.

Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs.

Contextual occurrence nets and concurrent constraint programming.

On the semantics of place/transition Petri nets.

Petri nets are monoids.

Rewriting logic as a semantic framework for concurrency: A progress report.

Semantics of inhibitor nets.

Sequential and concurrent behaviour in Petri net theory.

The non-sequential behaviour of Petri nets.

http://eprints.soton.ac.uk/261959/1/algModCtxICALPoff.pdf

Algebraic Models for Contextual Nets

Abstract

Similar works

Full text

Available Versions

CiteSeerX

Archivio della Ricerca - Università di Pisa

Southampton (e-Prints Soton)