Author:
Yu Zhenhua,Cai Yuanli,Xu Haiping
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Electronic, Optical and Magnetic Materials
Reference12 articles.
1. Jiang C J. Behavior Theory and Applications of Petri Nets. Beijing: Higher Education Press, 2003 (in Chinese)
2. Milner R, Parrow J, Walker D. A calculus of mobile processes. Journal of Information and Computation, 1992, 100(1): 1–77
3. Murata T. Petri nets: properties, analysis, and application. In: Proceedings of the IEEE, 1989, 77(4): 541–580
4. Busi N, Gorrieri R. A Petri net semantics for π-calculus. Lecture Notes in Computer Science, 1995, 962: 145–159
5. Engelfriet J. A multiset semantics for the π-calculus with replication. Theoretical Computer Science, 1996, 153(1–2): 65–94