Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach (Q2032916)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach |
scientific article |
Statements
Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach (English)
0 references
14 June 2021
0 references
weighted Petri net
0 references
marked graph
0 references
synthesis
0 references
labelled transition system
0 references
cycles
0 references
cyclic words
0 references
circular solvability
0 references
theory of regions
0 references
geometric interpretation
0 references
