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

DOI10.7561/SACS.2017.2.177MaRDI QIDQ4621214zbMATHFDO

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)

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)

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

Cited in

(6)

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

Describes a project that uses

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)