Synthesis of Elementary Net Systems with Context Arcs and Localities

DOI10.1007/978-3-540-73094-1_18zbMath1226.68061OpenAlexW2138283471MaRDI QIDQ3612939

Marta Pietkiewicz-Koutny, Maciej Koutny

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_18

zbMATH Keywords

Petri netstransition systemslocalitiestheory of regionselementary net systemsstep sequence semanticsinhibitor arcstheory of concurrencynet synthesisactivator arcscontext arcsstructure 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 (1)

Synthesis of Nets with Step Firing Policies

This page was built for publication: Synthesis of Elementary Net Systems with Context Arcs and Localities