Formal specification and verification of decentralized self-adaptive systems using symmetric nets

DOI10.1007/s10626-021-00343-3zbMath1480.93259OpenAlexW3191583928MaRDI QIDQ2063102

Lorenzo Capra, Matteo Camilli

Publication date: 10 January 2022

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-021-00343-3

zbMATH Keywords

Petri netsdistributed discrete-events systemsself-adaptive systemsself-healing systems

Mathematics Subject Classification ID

Adaptive control/observation systems (93C40) Decentralized systems (93A14) Discrete event control/observation systems (93C65)

Related Items (2)

Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Canonization of reconfigurable PT nets in \texttt{Maude}

Uses Software

• Renew

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets and algebraic specifications
• Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings
• Hornets: Nets within Nets Combined with Net Algebra
• Petri Nets as Token Objects
• Markov Chains
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2005
• Applications and Theory of Petri Nets 2005
• Applications and Theory of Petri Nets 2005
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Formal specification and verification of decentralized self-adaptive systems using symmetric nets