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