Minimal Regions of ENL-Transition Systems

DOI10.3233/FI-2010-274zbMath1213.68406OpenAlexW1918323035MaRDI QIDQ3081900

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

Petri netsanalysis and synthesistransition systemsconflictlocalitiestheory of regionsstep sequence semanticstheory of concurrency

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Synthesising elementary net systems with localities

This page was built for publication: Minimal Regions of ENL-Transition Systems