Adding a/sync places to the synthesis procedure for whole-place operations nets with localities (Q4621214)
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: Adding a/sync places to the synthesis procedure for whole-place operations nets with localities |
scientific article; zbMATH DE number 7020206
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Adding a/sync places to the synthesis procedure for whole-place operations nets with localities |
scientific article; zbMATH DE number 7020206 |
Statements
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities (English)
0 references
8 February 2019
0 references
concurrency
0 references
theory of regions
0 references
transition system
0 references
synthesis problem
0 references
Petri net
0 references
step semantics
0 references
locality
0 references
whole-place operation
0 references
a/sync places
0 references
0.8841213583946228
0 references
0.8758156895637512
0 references
0.8745429515838623
0 references
0.8377518057823181
0 references
0.824185311794281
0 references
