Parameterized Analysis of Immediate Observation Petri Nets

DOI10.1007/978-3-030-21571-2_20arXiv1902.03025OpenAlexW2918398085MaRDI QIDQ6144223

Mikhail Raskin, Javier Esparza, Chana Weil-Kennedy

Publication date: 29 January 2024

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.03025

zbMATH Keywords

Petri netsreachability analysispopulation protocolsparameterized verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Population protocols with unreliable communication ⋮ Population protocols: beyond runtime analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification of population protocols
• Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks
• Petri nets for modelling metabolic pathways: a survey
• Complexity results for 1-safe nets
• The computational power of population protocols
• A Petri net approach to the study of persistence in chemical reaction networks
• Time-Space Trade-offs in Population Protocols
• Verification of Immediate Observation Population Protocols
• A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
• Verification of Population Protocols
• Computation in networks of passively mobile finite-state sensors

This page was built for publication: Parameterized Analysis of Immediate Observation Petri Nets