Synthesis of Petri nets with localities

zbMATH Open1424.68107MaRDI QIDQ4621135FDOQ4621135

Maciej Koutny, Marta Pietkiewicz-Koutny

Publication date: 8 February 2019

Recommendations

• Synthesis problem for Petri nets with localities
• Transition Systems of Elementary Net Systems with Localities
• Minimal regions of ENL-transition systems
• Synthesis of Petri nets with whole-place operations and localities
• Adding a/sync places to the synthesis procedure for whole-place operations nets with localities

zbMATH Keywords

concurrencyconflictPetri netstransition systemslocalitiestheory of regionsGALSstep-sequence semanticsnet synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Regions of Petri nets with a/sync connections
• Applying regions
• Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
• Transition Systems of Elementary Net Systems with Localities
• Title not available (Why is that?)
• A cylinder computation model for many-core parallel computing
• Synthesising elementary net systems with localities
• Strategies for minimising the synthesised ENL-systems

This page was built for publication: Synthesis of Petri nets with localities

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