Transition Systems of Elementary Net Systems with Localities

DOI10.1007/11817949_12MaRDI QIDQ5756621zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Marta Pietkiewicz-Koutny

Publication date 4 September 2007

Published in CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817949_12

zbMATH Keywords

analysis and synthesiselementary net systemslocalitiesPetri netsstep sequence semanticsstructure and behaviour of netsTheory of concurrencytheory of regionstransition systems

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 localities
• Synthesis of elementary net systems with context arcs and localities
• Synthesis of Elementary Net Systems with Context Arcs and Localities
• Synthesis problem for Petri nets with localities
• Minimal regions of ENL-transition systems

Cited in

(12)

• Some complexity results on transition systems and elementary net systems
• Synthesising elementary net systems with localities
• Synthesis problem for Petri nets with localities
• Minimal regions of ENL-transition systems
• Synthesis of elementary net systems with context arcs and localities
• Synthesis of Elementary Net Systems with Context Arcs and Localities
• Localities in systems with a/sync communication
• Synthesis of Petri nets with localities
• scientific article; zbMATH DE number 2087494 (Why is no real title available?)
• Synthesis of Nets with Step Firing Policies
• On Stubborn Sets in the Verification of Linear Time Temporal Properties
• Strategies for minimising the synthesised ENL-systems

This page was built for publication: Transition Systems of Elementary Net Systems with Localities

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