Analysis And Control Of Automated Manufacturing Systems In Programmable Graphics Environments

Petri nets is an effective tool for modeling and analyzing automated manufacturing systems(AMS). In the initial stage of modeling and analyzing for an AMS, computer simulation is a valid and reliable method for the analysis of all performance indices of the system. By virtue of the available technologies such as Petri net, graphic animation in computer graphics, .NET Framework included C# programming language and graphics application program interface of Managed DirectX, this thesis conducts simulations of an AMS and a control policy for its Petri net model.The contents of this thesis include three parts. In the first part, elementary definitions of Petri nets, automated manufacturing systems and real-time three-dimensional rendering technology are sequentially introduced. In the second part, the Visual simulations of an AMS and a deadlock control policy of the AMS's Petri net model are introduced respectively. It is the AMS's Petri net model which plays the dynamic driven of these simulations. In the last part, several examples are given, and it is shown that the simulation method is feasible.In brief, this thesis realizes the real-time evolution of the visual model of an AMS, and the evolution is driven by the state transformation of the AMS's Petri net model. Furthermore, a deadlock control policy of the Petri net model is realized. Generally, the state evolution and the control policies of Petri nets are so abstract as to not be understood. By this way, they become directviewing and easy to understand.