Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities (Q4621214)
From MaRDI portal
scientific article; zbMATH DE number 7020206
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
