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

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 63-80
https://doi.org/10.1007/bfb0053542

Abstract

No abstract available

Keywords

This publication has 17 references indexed in Scilit:

On the semantics of Petri Nets
Published by Springer Nature ,2006
Concurrent graph and term graph rewriting
Published by Springer Nature ,1996
Semantics of Inhibitor Nets
Information and Computation, 1995
Contextual nets
Acta Informatica, 1995
A Petri net semantics for π-calculus
Published by Springer Nature ,1995
Contextual occurrence nets and concurrent constraint programming
Published by Springer Nature ,1994
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
Published by Springer Nature ,1993
On relating some models for concurrency
Lecture Notes in Computer Science, 1993
Invariant semantics of nets with inhibitor arcs
Published by Springer Nature ,1991
Flow event structures and flow nets
Lecture Notes in Computer Science, 1990