A compositional dataflow semantics for Petri nets (Q1902302)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 818360
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A compositional dataflow semantics for Petri nets |
scientific article; zbMATH DE number 818360 |
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
0.9747138619422911
0 references
0.8384374380111694
0 references
