Transition Systems of Elementary Net Systems with Localities

DOI10.1007/11817949_12zbMath1151.68538OpenAlexW2156351642MaRDI QIDQ5756621

Marta Pietkiewicz-Koutny, Maciej 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

Petri netsanalysis and synthesistransition systemslocalitiestheory of regionsTheory of concurrencyelementary net systemsstep sequence semanticsstructure and behaviour of nets

Mathematics Subject Classification ID

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

Related Items (2)

Synthesis of Nets with Step Firing Policies ⋮ Synthesising elementary net systems with localities

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