Minimal regions of ENL-transition systems

DOI10.3233/FI-2010-274zbMATH Open1213.68406OpenAlexW1918323035MaRDI QIDQ3081900FDOQ3081900

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

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

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)

Cited In (6)

• Synthesis of Petri nets with localities
• Title not available (Why is that?)
• Transition Systems of Elementary Net Systems with Localities
• Title not available (Why is that?)
• 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)