A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

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

Victor Khomenko, Roland Meyer, Tim Strazny

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 checking; mobile systems; Petri net unfoldings; finite control processes; \(\pi \)-Calculus; safe processes

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

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

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