Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities

DOI10.7561/SACS.2017.2.177zbMath1424.68106MaRDI QIDQ4621214

Maciej Koutny, Marta Pietkiewicz-Koutny, H. C. M. Kleijn

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

locality; Petri net; concurrency; transition system; synthesis problem; theory of regions; step semantics; a/sync places; whole-place operation

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• Genet