Hornets: Nets within Nets Combined with Net Algebra

DOI10.1007/978-3-642-02424-5_15MaRDI QIDQ3636848zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Complexity results for elementary Hornets
• Restricting \textsc{Hornets} to support self-adaptive systems
• Nested Nets for Adaptive Systems
• Algebraic higher-order nets: graphs and Petri nets as tokens.
• On the complexity of the reachability problem for safe, elementary hornets

Cites work

• A calculus of mobile processes. I
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005
• Applications and Theory of Petri Nets 2005
• Checking properties of adaptive workflow nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 5506900 (Why is no real title available?)
• scientific article; zbMATH DE number 1304367 (Why is no real title available?)
• scientific article; zbMATH DE number 1341756 (Why is no real title available?)
• scientific article; zbMATH DE number 2064467 (Why is no real title available?)
• scientific article; zbMATH DE number 1515290 (Why is no real title available?)
• scientific article; zbMATH DE number 1755145 (Why is no real title available?)
• scientific article; zbMATH DE number 2087404 (Why is no real title available?)
• scientific article; zbMATH DE number 5051645 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Nested Nets for Adaptive Systems
• Object Nets for Mobility
• Petri net algebra
• Petri nets and algebraic specifications
• Petri nets are monoids
• Recent Trends in Algebraic Development Techniques
• The reachability problem for object nets
• Zero-safe nets: Comparing the collective and individual token approaches.

Cited in

(7)

• Restricting \textsc{Hornets} to support self-adaptive systems
• Boundedness of adaptive nets is decidable
• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• Complexity results for elementary Hornets
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems
• Canonization of reconfigurable PT nets in \texttt{Maude}
• Analysing adaption processes of Hornets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636848)