Minimal regions of ENL-transition systems

DOI10.3233/FI-2010-274MaRDI QIDQ3081900zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Marta Pietkiewicz-Koutny

Publication date 9 March 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-274

zbMATH Keywords

conflictPetri netstransition systemslocalitiestheory of regionsanalysis and synthesisstep sequence semanticstheory of concurrency

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
• Transition Systems of Elementary Net Systems with Localities
• Synthesis of elementary net systems with context arcs and localities
• Synthesis of Elementary Net Systems with Context Arcs and Localities
• scientific article; zbMATH DE number 1305003

Cited in

(6)

• Synthesis of Petri nets with localities
• scientific article; zbMATH DE number 1305003 (Why is no real title available?)
• Transition Systems of Elementary Net Systems with Localities
• scientific article; zbMATH DE number 1820089 (Why is no real title available?)
• Synthesising elementary net systems with localities
• Strategies for minimising the synthesised ENL-systems

This page was built for publication: Minimal regions of ENL-transition systems

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