Research on Asynchronous Concurrency System Based on Petri Net Model
Gao Bo · Journal of Chongqing Institute of Technology · 2009
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.