Synthesis of live and bounded persistent systems (Q2803576)
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: Synthesis of live and bounded persistent systems |
scientific article; zbMATH DE number 6575696
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Synthesis of live and bounded persistent systems |
scientific article; zbMATH DE number 6575696 |
Statements
2 May 2016
0 references
cyclic behaviour
0 references
persistence
0 references
labelled transition systems
0 references
liveness
0 references
Parikh vectors
0 references
Petri nets
0 references
region theory
0 references
system synthesis
0 references
Synthesis of live and bounded persistent systems (English)
0 references
0.8959185481071472
0 references
0.8803761601448059
0 references
0.86343914270401
0 references
0.8553785085678101
0 references
0.8546534776687622
0 references
