Synthesis Problem for Petri Nets with Localities (Q2889615)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Synthesis Problem for Petri Nets with Localities |
scientific article |
Statements
Synthesis Problem for Petri Nets with Localities (English)
0 references
8 June 2012
0 references
theory of concurrency
0 references
Petri net
0 references
locality
0 references
analysis
0 references
synthesis
0 references
step-sequence semantics
0 references
conflict
0 references
theory of regions
0 references
transition system
0 references
step-firing policy
0 references
net-type
0 references