A compositional dataflow semantics for Petri nets (Q1902302)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A compositional dataflow semantics for Petri nets |
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
