Hornets: Nets within Nets Combined with Net Algebra
From MaRDI portal
Publication:3636848
DOI10.1007/978-3-642-02424-5_15zbMath1242.68181MaRDI QIDQ3636848
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
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