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.