PDF(200 KB)
Petri nets semantics of π-calculus
- YU Zhenhua1, CAI Yuanli1, YU Zhenhua2, XU Haiping3
Author information
+
1.School of Electronic and Information Engineering, Xi'an Jiaotong University; 2.The 205th Institute of China Ordnance Industry Corporation Group; 3.Department of Computer and Information Science, University of Massachusetts Dartmouth
Show less
History
+
| Published |
| 05 Sep 2008 |
| Issue Date |
| 05 Sep 2008 |
As ?-calculus based on the interleaving semantics cannot depict the true concurrency and has few supporting tools, it is translated into Petri nets. ?-calculus is divided into basic elements, sequence, concurrency, choice and recursive modules. These modules are translated into Petri nets to construct a complicated system. Petri nets semantics for ?-calculus visualize system structure as well as system behaviors. The structural analysis techniques allow direct qualitative analysis of the system properties on the structure of the nets. Finally, Petri nets semantics for ?-calculus are illustrated by applying them to mobile telephone systems.
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
This is a preview of subscription content, contact
us for subscripton.
References
1. Jiang C J BehaviorTheory and Applications of Petri NetsBeijingHigher Education Press 2003 (in Chinese)
2. Milner R Parrow J Walker D A calculus of mobile processesJournal of Information and Computation 1992 100(1)177. doi:10.1016/0890‐5401(92)90008‐4
3. Murata T Petrinets: properties, analysis, and applicationIn: Proceedings of the IEEE 1989 77(4)541580. doi:10.1109/5.24143
4. Busi N Gorrieri R A Petri net semantics for π-calculusLecture Notes in Computer Science 1995 962145159
5. Engelfriet J A multisetsemantics for the π-calculus with replicationTheoretical Computer Science 1996 153(1–2)6594. doi:10.1016/0304‐3975(95)00118‐2
6. Devillers R Klaudel H Koutny M Petri net semantics of the finite π-calculusLecture Notes in Computer Science 2004 3235(2)309325
7. Cao M L Wu Z M Yang G K π-net: a new modular high level Petri netsJournal of Shanghai Jiaotong University 2004 38(1)5258(in Chinese)
8. Mazzeo A Mazzocca N Russo S et al.Formal specification of concurrent systems: a structuredapproachThe Computer Journal 1998 41(3)145162. doi:10.1093/comjnl/41.3.145
9. Best E Koutny M Process algebra: a petri-net-orientedtutorialLecture Notes in Computer Science 2004 3098180209
10. Han T T Chen T L Yan F et al.Study on expressive power of synchronous asynchronousπ-calculusHigh Technology Letters 2005 15(8)1822(in Chinese)
11. Ribaudo M StochasticPetri net semantics for stochastic process algebrasIn: Proceedings of the 6th International Workshop on Petri Nets and PerformanceModels, Los AlamitosIEEE Press 1995 148157
12. Milner R Communicatingand Mobile Systems: the π-calculusCambridgeCambridge UniversityPress 1999
AI Summary
