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

Research on Asynchronous Concurrency System Based on Petri Net Model

作　　者：崔英志[1] 唐鑫[1] 李为[1] 高博[1] 

机构地区：[1]重庆理工大学现代教育技术中心,重庆400050

出　　处：《重庆工学院学报（自然科学版）》2009年第10期119-124,共6页Journal of Chongqing Institute of Technology

基　　金：重庆市教委基金资助项目(KJ090613)

摘　　要：通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点.然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析.最后,以教务系统中排课系统A jax的异步传输机制为例建立模型,指导和检验系统的运行情况.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 inspection the operation of system. Thus further evidence the guiding significance of the Petri-net model in asynchronous concurrent field.

关 键 词：PETRI网 异步并发 AJAX 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]