| Process of Petri Nets Extension |
| |
| 作者姓名： | ZHOU Guofu HE Yanxiang DU Zhuomin |
| |
| 作者单位： | School of Computer, Wuhan University, Wuhan 430072, Hubei, China |
| |
| 基金项目： | 武汉大学校科研和教改项目 |
| |
| 摘 要： | 0Introduction Manynewcomputingplatforms,suchasthelocalareanetwork,Internetandthevirtualnetwork,arebeingcreatedandthenetworkcomputinghasbeenpopular.There fore,thesemanticsmodelbasedonsuchplatformsisdifferenttothetraditionalmodel.Comparedwiththetraditionalmodel,thenetworkcomputingmodelhastwospecialfeatures:first ly,computingunits(tofulfillatask)areallocatedonthedis tributedandindependentnodesandthesenodespossessre sourcesrespectively.Furthermore,thecentralcontrolnodeisnotnecessary.Secondly,thei…
|
| 关 键 词： | 网络计算 计算模型 Petri网 扩展 |
| 文章编号： | 1007-1202（2006）02-0350-04 |
| 收稿时间： | 2005-04-20 |
Process of petri nets extension |
| |
| ZHOU Guofu HE Yanxiang DU Zhuomin.Process of Petri Nets Extension[J].Wuhan University Journal of Natural Sciences,2006,11(2):351-354. |
| |
| Authors: | Zhou Guofu He Yanxiang |
| |
| Institution: | (1) School of Computer, Wuhan University, 430072 Wuhan, Hubei, China |
| |
| Abstract: | To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely. |
| |
| Keywords: | network computing computing model process Petri nets |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
|
