基于Petri网模型的异步并发性

被引：3

作者：

崔英志

唐鑫

李为

高博

机构：

[1] 重庆理工大学现代教育技术中心

来源：

重庆工学院学报(自然科学版) | 2009年 / 10期

关键词：

Petri网; 异步并发; AJAX;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点.然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析.最后,以教务系统中排课系统A jax的异步传输机制为例建立模型,指导和检验系统的运行情况.

引用

收藏

页码：119 / 124

页数：6

相关论文

共 4 条

[1]

Ajax基础教程[M]. 人民邮电出版社 , (美)RyanAsleson, 2006

[2]

随机 Petri 网和系统性能评价[M]. 清华大学出版社 , 林闯著, 2000

[3]

Petri网原理[M]. 电子工业出版社 , 袁崇义著, 1998

[4] A FORMAL MODEL OF ATOMICITY IN ASYNCHRONOUS SYSTEMS [J].

BEST, E ;

RANDELL, B .

ACTA INFORMATICA, 1981, 16 (01) :93-124