A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

DOI10.1007/978-3-540-68746-7_22zbMath1143.68460OpenAlexW2172719063MaRDI QIDQ5900141

Roland Meyer, Tim Strazny, Victor Khomenko

Publication date: 3 July 2008

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-540-68746-7_22

zbMATH Keywords

model checkingmobile systemsPetri net unfoldingsfinite control processes\(\pi \)-Calculussafe processes

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 (6)

Encoding Asynchronous Interactions Using Open Petri Nets ⋮ On the Relationship between π-Calculus and Finite Place/Transition Petri Nets ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS ⋮ A theory of structural stationarity in the \(\pi\)-calculus ⋮ Petruchio ⋮ A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Uses Software

• MWB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic verification of a mobile network
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• An improvement of McMillan's unfolding algorithm
• Model checking mobile processes
• Canonical prefixes of Petri net unfoldings
• A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

This page was built for publication: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings