Synthesis of Elementary Net Systems with Context Arcs and Localities

DOI10.1007/978-3-540-73094-1_18MaRDI QIDQ3612939zbMATH OpenOpenAlexFDO

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

activator arcscontext arcselementary net systemsinhibitor arcslocalitiesnet synthesisPetri netsstep sequence semanticsstructure and behaviour of netstheory of concurrencytheory of regionstransition systems

Mathematics Subject Classification ID

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

Recommendations

• Synthesis of elementary net systems with context arcs and localities
• scientific article; zbMATH DE number 1435986
• Transition Systems of Elementary Net Systems with Localities
• scientific article; zbMATH DE number 1786642
• scientific article; zbMATH DE number 1305003

Cited in

(4)

• Minimal regions of ENL-transition systems
• Synthesis of elementary net systems with context arcs and localities
• Transition Systems of Elementary Net Systems with Localities
• Synthesis of Nets with Step Firing Policies

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

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