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

localityPetri netconcurrencytransition systemsynthesis problemtheory of regionsstep semanticsa/sync placeswhole-place operation

Mathematics Subject Classification ID

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

Uses Software

• Genet

This page was built for publication: Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities