Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios

DOI10.1007/978-3-540-73094-1_21zbMath1226.68064OpenAlexW1563487118MaRDI QIDQ3612942

Sebastian Mauser, Robert Lorenz, Robin Bergenthum

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://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-560813

Mathematics Subject Classification ID

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

Related Items (1)

Partial Order Semantics of Types of Nets

This page was built for publication: Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios