| 基于Petri网模型的异步并发性 |
| |
| 引用本文： | 崔英志,唐鑫,李为,高博. 基于Petri网模型的异步并发性[J]. 重庆理工大学学报(自然科学版), 2009, 23(10): 119-124 |
| |
| 作者姓名： | 崔英志 唐鑫 李为 高博 |
| |
| 作者单位： | 重庆理工大学现代教育技术中心,重庆400050 |
| |
| 基金项目： | 重庆市教委基金资助项目(KJ090613) |
| |
| 摘 要： | 通过分析Petri网的网状结构特性，研究其描述异步并发的能力和特点．然后以Petri网的角度重新定义异步并发的概念，并结合实际异步并发应用中的特性，完成建模过程分析．最后，以教务系统中排课系统Ajax的异步传输机制为例建立模型，指导和检验系统的运行情况．
|
| 关 键 词： | Petri网 异步并发 AJAX |
Research on Asynchronous Concurrency System Based on Petri Net Model |
| |
| CUI Ying-zhi,TANG Xin,LI Wei,GAO Bo. Research on Asynchronous Concurrency System Based on Petri Net Model[J]. Journal of Chongqing University of Technology(Natural Science), 2009, 23(10): 119-124 |
| |
| Authors: | CUI Ying-zhi TANG Xin LI Wei GAO Bo |
| |
| Affiliation: | CUI Ying-zhi,TANG Xin,LI Wei,GAO Bo(Modern Education Technology Center,Chongqing University of Technology,Chongqing 400050,China) |
| |
| Abstract: | This paper analyzes the characteristics of the network structure in Petri-net,to study its ability of describing the asynchronous concurrency system.And then redefined the concept of asynchronous concurrent system in Petri-net point of view.It combined with the feature of the system in practical applications to complete the modeling process analysis.Finally,take the Ajax's synchronous transfer mechanism in Academic Course Scheduling System for instance,established model based on Petri-net,to guidance and in... |
| |
| Keywords: | Petri-net synchronous concurrency AJAX |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
