Adding a/sync places to the synthesis procedure for whole-place operations nets with localities

DOI10.7561/SACS.2017.2.177zbMATH Open1424.68106MaRDI QIDQ4621214FDOQ4621214

Authors: Maciej Koutny, Marta Pietkiewicz-Koutny, Jetty Kleijn 

Publication date: 8 February 2019

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

Recommendations

• Synthesis of Petri nets with whole-place operations and localities
• Regions of Petri nets with a/sync connections
• Petri net synthesis
• Synthesis of Petri nets with localities
• Synthesis problem for Petri nets with localities

zbMATH Keywords

concurrencylocalityPetri netsynthesis problemtheory of regionstransition systemstep semanticsa/sync placeswhole-place operation

Mathematics Subject Classification ID

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

Cited In (6)

• Localities in systems with a/sync communication
• Regions of Petri nets with a/sync connections
• Synthesis of Petri nets with localities
• Synthesis of Petri nets with whole-place operations and localities
• Synthesis of Nets with Step Firing Policies
• Synthesis problem for Petri nets with localities

Uses Software

• Genet

This page was built for publication: Adding a/sync places to the synthesis procedure for whole-place operations nets with localities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621214)