The Study Of Petri Nets Synchronization Model Based On Max-Plus Algebra

Synchronization is a common phenomenon in nature and artificial system, which expresses relative relationship in logic and time between activities. It is significant that accomplishing effective synchronization in actual system. But, the synchronization shows different characteristics in different actual systems. So it has important theoretical and practical significance that we use the appropriate method to model synchronization, further more, we use the model to study the conditions and methods of realizing effective synchronization.Petri nets is a kind of graphical modeling tools, which not only presents the tatic logical relationship between activities but also the dynamic operation with network’s structure and the operation of tokens. One of the outstanding advantages of Petri nets is suitable for expression synchronization. However, Petri nets’s analytical ability falls behind its description ability. Max-plus algebra can transforms a special kind of Petri nets-Timed Event Graph (TEG) into linear model in order to analyze and solve it. In this paper, the two methods which are Petri nets and Max-plus algebra are combined to study synchronization. Thus the mainly work and research results are as follows:1The introduction of synchronization which contains features and forms. Based on the above reasons, the Petri nets synchronous model was chosen for describing and studying synchronization.2Using modular modeling ideas, I select events figure (T-chart) and Timed Event Graph (TEG) respectively from the logic and time two level to build Petri nets synchronous model, further more, proving and getting the conditions and methods of realizing effective synchronization.3With max-plus algebra as the tool, transforming the Timed Event Graph (TEG)’s synchronization model into max-plus algebra’s linear model. At the same time, I design algorithm to solve model.4Taking bus rapid transit system as the example,validating the feasibility of applying Petri nets and max-plus algebra to studying synchronization.Through the Matlab simulation, achieving effective synchronization of bus rapid transit system.In this paper, as a new idea, the two methods which are Petri nets and Max-plus algebra are combined to study synchronization and provide a new feasible method for effective synchronization.