A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A uniform approach to true-concurrency and interleaving semantics for Petri nets |
scientific article |
Statements
A uniform approach to true-concurrency and interleaving semantics for Petri nets (English)
0 references
12 January 1999
0 references
Petri nets
0 references
compositional semantics
0 references
interleaving and true-concurrency models
0 references