Zhenhua Yu, Yuanli Cai, Haiping Xu, "Petri nets semantics of π-calculus"

siiky
2023/10/05
2023/10/05
2023/10/05
whitepaper,petri_nets,distributed

Systematic translation of π-calculus processes into Petri nets.

§ 1 Introduction:

However, the processes of π-calculus are complicated, and they cannot visually model the system architecture or depect the true concurrency. (...) While Petri nets are a graphical and mathematical modeling tool, which are suitable for describing concurrent, distributed and asynchronous systems[3]. Petri nets put emphasis on modeling system structure and analyzing sysem properties, and they can effectively depict the true concurrency.