Computer Science ›› 2016, Vol. 43 ›› Issue (11): 55-60.doi: 10.11896/j.issn.1002-137X.2016.11.010
Previous Articles Next Articles
ZHANG Rui-hua, YANG Ru and DING Zhi-jun
[1] Asperti A,Busi N.Mobile Petri Nets[J].Mathematical Structures in Computer Science,2009:19(6):1265-1278 [2] Berry G,Boudol G.The chemical abstract machine[J].Theoretical Computer Science,1992,6(1):217-248 [3] Du X T.Concurrent computing paradigm:CCS and calculus[J].Computer Science,2002,29(10):1-4(in Chinese) 杜旭涛.计算范型:CCS和π演算[J].计算机科学,2002,29(10):1-4 [4] Fournet C,Gonthier G.The reflexive cham and the join-calculus[C]∥Proceedings of the 23rd Symposium on Principles of Programming Languages.1996:372-385 [5] Jensen K.Coloured Petri Nets[M].EATCS Monographs in Com-puter Science,SpringerVerlag,1992:10-110 [6] Peterson J L.Petri Net Theory and the Modeling of Systems[M].Englewood Cliffs,NJ:Prentice-Hall,1981 [7] Milner R,Parrow J,Walker D.A calculus of mobile processes[J].Information and Computation,1992,0(1):1-77 [8] Montanari U,Rossi F.Contextual nets[J].Acta Inf.,1995,2(6):545-596 [9] Reisig W.An Introduction to Petri Nets[M].EATCS Mono-graphs in Computer Science,SpringerVerlag,1985:1-164 [10] Robin Milner.Communicating and mobile systems:the pi-calculus[M].Cambridge,the University of Cambridge,1999:82-85 [11] Sangiorgi D.Expressing Mobility in Process Algebra[D].University of Edin-burgh,1993 [12] Aggarwal S,Pathak H.Modelling of hierarchical location ma-nagement schemes to locate mobile multi agents using colored Petri Net[M].Computer Engineering and Applications,2015:821-825 [13] Wolfgang Reisig:Understanding Petri Nets[M].Springer Verlag,2013:13-23 [14] 吴哲辉.Petri网导论[M].北京,2006:47-193 |
No related articles found! |
|