Hornets: Nets within Nets Combined with Net Algebra

DOI10.1007/978-3-642-02424-5_15zbMath1242.68181MaRDI QIDQ3636848

Michael Köhler-Bußmeier

Publication date: 30 June 2009

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02424-5_15

Mathematics Subject Classification ID

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

Related Items

Complexity Results for Elementary Hornets, Modular rewritable Petri nets: an efficient model for dynamic distributed systems, Canonization of reconfigurable PT nets in \texttt{Maude}, Boundedness of adaptive nets is decidable, Formal specification and verification of decentralized self-adaptive systems using symmetric nets

Cites Work

• Petri nets and algebraic specifications
• Petri nets are monoids
• A calculus of mobile processes. I
• Petri net algebra
• Zero-safe nets: Comparing the collective and individual token approaches.
• Object Nets for Mobility
• Nested Nets for Adaptive Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Recent Trends in Algebraic Development Techniques
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005
• Applications and Theory of Petri Nets 2005
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item