Font Size: a A A

Confusion Structure Research And Application Of Petri Net

Posted on:2011-04-20Degree:MasterType:Thesis
Country:ChinaCandidate:D ChenFull Text:PDF
GTID:2178360308470909Subject:Computer software and theory
Abstract/Summary:PDF Full Text Request
Perti nets using visual and graphic representation, but is supported by formal mathematical methods, expression of discrete event dynamic system of static structure and dynamics. It is a structured tool to describe discrete event dynamic systems, for with asynchronous concurrency, distribution, uncertainty and randomness of the system, can use this tool to build models and then analyze it,then you can get the system static structure and dynamic behavior of the information. It is both have intuitive graphical representation and deep mathematical meaning and foundation.Petri net structure is characteristic of the graph structure with a sub-plan includes: siphon, trap, confusion and so on. Perti nets structure nature including the S-invariant and T-invariant, deadlock , construction activity, structure industry, structure confusion, because the nature of the nets is structure determine,so most of them can be given through the nets incidence matrix defined criteria, then obtain more complete analysis of these results ,it is algebraic methods of analysis based on Petri nets.The main work of this paper is as follows:(1) In Petri nets, confusion will cause trouble when analysis and control the mixed system, there is confusion in the system is not well mixed system, there is not a good model of mixed confusion model. In this paper, the characteristics of confusion was studied, three kinds of structure in the known mixture and confusion (ci confusion, cd confusion, neither a ci confusion nor a cd confusion ),the paper give elimination methods of ci confusion and cd confusion based on given Petri nets augmented.(2) Under the structural properties of Petri nets use P / T net to build an online shop front order processing and background processing of the basic process model, this model ensured not lose orders the order in the background and order processing and sending members of the two orders between subjects at the same time check orders. Finally,use S_ invariants verificate the model of background orders processing.(3) This paper use C / E system more easily than the Senior Network System implemented in the hardware features, by further improving the use of C / E net refinement operation under the two finally gives a dynamic priority scheduling strategy dining philosophers problem C / E Network card model.
Keywords/Search Tags:Perti network, mixed confusion, elimination, S-invariant, Verification
PDF Full Text Request
Related items