A compositional dataflow semantics for Petri nets (Q1902302)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A compositional dataflow semantics for Petri nets |
scientific article |
Statements
A compositional dataflow semantics for Petri nets (English)
0 references
20 November 1995
0 references
We give a semantics for place/transition nets, which describes the input/output behaviour using fixed point techniques. The semantics is shown to be compositional w.r.t. the net operators parallel composition, feedback and output merging. We prove consistency with the step sequence semantics and thus give an equivalent operational semantics.
0 references
place/transition nets
0 references
step sequence semantics
0 references
operational semantics
0 references
