Nested Nets for Adaptive Systems
From MaRDI portal
Publication:3618708
DOI10.1007/11767589_14zbMath1234.68314MaRDI QIDQ3618708
Olivia Oanea, K. M. van Hee, Alexander Serebrenik, Natalia Sidorova, Irina A. Lomazova, Marc Voorhoeve
Publication date: 2 April 2009
Published in: Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11767589_14
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Nested Petri Nets for Adaptive Process Modeling, Boundedness of adaptive nets is decidable, Automatic construction of systems of distributed components from nested Petri nets models, Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets, Hornets: Nets within Nets Combined with Net Algebra