【摘 要】
：
To describe the dynamic semantics for the network computing, the concept on process is presented based on the semantic model with variable, resource and relatio
论文部分内容阅读
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.
其他文献
It is proved that if the degree of any non-linear irreducible character of a finite group G is a product of powers of two given distinct prime integers p and q,
近年来我国城市化进程加快,城市规模不断扩大,带动下的房屋建筑行业进步显著.在房屋建筑中,地基是房屋建筑的根本,它影响到房屋建筑的整体质量.本文首先对地基基础工程施工技
患者,男,49岁,2013年7月17日因“慢性肾炎,慢性肾功能不全”入院。否认药物、食物过敏史。实验室检查:24 h尿蛋白0.17 g·L-1,24 h尿肌酐14 765μmol·L-1,尿常规:隐血(+++),
目的:探讨基本药物不良反应(ADR)的发生特点,为促进临床安全用药提供参考.方法:对马鞍山市2014年收集的3 061例基本药物的不良反应报告作回顾性分析,分别按患者性别、年龄、
目的:探讨血管紧张素Ⅱ受体拮抗药厄贝沙坦对2型糖尿病(T2DM)患者胰岛β细胞功能的影响。方法:80名T2DM患者随机分为观察组和对照组,两组均予门冬胰岛素30注射液控制血糖,观
近年来在我国社会经济的飞速发展的推动下,我国建筑事业取得长足发展,当前高层建筑项目越来越多,对建筑工程现场施工技术提出更高的要求.在高层建筑工程现场施工中,保证施工
患者,男,88岁,因“发热3d”于2013年4月6日收入院,既往有高血压病、心律不齐、房颤、慢性肾功能不全病史.入院体检:T 38.2℃,双肺呼吸音粗,左下肺呼吸音稍低,未闻及干湿性(罗
目的:调查我国近5年临床尿路感染病原菌对头孢曲松的耐药情况。方法:利用中国期刊全文数据库检索公开发表的关于尿路感染病原菌对头孢曲松耐药性监测的全部文献,分层计算尿路
当前城市化进程的加速使得城市人口基数的不断增大,这对房屋建筑工程提出了更高要求.而地基是房屋的立足根本,所以施工企业必须重视地基基础工程的工艺流程、工艺设备、工艺