| Summary: | 碩士 === 國立臺北大學 === 電機工程學系 === 101 === The ever increasing sales of Apple's iPad tablet computers has created a tablet PC craze, attracting various manufacturers to invest and conduct research in this sector. Meanwhile, the production cost is an critical element to consider in the craze. To lower the costs, the manufacturers are striving to develop complete manufacturing processes. Aiming at this, we herewith propose a new approach, which uses the Petri net to describe the system structure, and then labels out the simulated operation messages or dynamic decision-making behaviors in the Petri net, in order to find possible courses to deadlocks. Modification will then be given to finally reach the algorithm of a minimal cost spanning tree which points out the keys to the minimal cost path to effectively reduce the manufacturing costs.
In the end, as the platform for analyzing the Petri net established in this thesis, the software tool PIPE-2 is used to verify the algorithm of finding the minimal siphon subnet as well as the correlation between deadlocks and siphon subnets. The simulation results show that when the Petri net contains siphon subnets, it is very likely to hit deadlocks. The results also demonstrate the feasibility of the ideas constructed in this thesis, and manifest the substantial achievements of this research.
|
|---|
