A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

DOI10.2168/LMCS-9(3:18)2013zbMath1274.68239MaRDI QIDQ2848363

Roland Meyer, Reiner Hüchting, Victor Khomenko

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Petri netsmodel checking\(\pi\)-calculusfinite control 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)

Uses Software

• Petruchio
• MWB

This page was built for publication: A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets