Hornets: Nets within Nets Combined with Net Algebra

DOI10.1007/978-3-642-02424-5_15zbMath1242.68181OpenAlexW2099006718MaRDI 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

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

Related Items (5)

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

This page was built for publication: Hornets: Nets within Nets Combined with Net Algebra