自動灌模系統的浮標守恆裴氏圖合成

Abstract

在本篇論文中，針對自動灌模系統提出了一個新的浮標守恆裴氏圖設計方法。這個新設計方法的發展可分為三個階段：合成法則的形成，基本生產流程的設計，以及浮標守恆裴氏圖合成。在形成合成法則階段，觀察並分析許多從浮標守恆裴氏圖分解成歐氏記號圖的分解案例。隨後，根據逆向分解過程的特色去歸納出合成法則來。在基本生產流程設計階段，以階層轉換法為基礎及依據不同的生產需求來設計出三張歐氏記號圖。在合成浮標守恆裴氏圖階段，這包含兩個設計步驟。其一是利用合成法則將三張歐氏記號圖合成一張浮標守恆裴氏圖。另一步驟為將浮標守恆裴氏圖轉換成詮釋型裴氏圖以控制自動灌模系統。

In this thesis, a new token-conserved Petri net design method is proposed for a given automated mould filling system. The development of this new design method consists of three stages: the formation of synthesis rules, the design of elementary manufacturing processes, and the synthesis of token-conserved Petri net. At the synthesis rules formation stage, many decomposition examples from token-conserved Petri nets into Eulerian marked graphs are observed and analyzed. Subsequently their characteristic features for reversing the decomposition process are induced in order to form the synthesis rules. At the elementary manufacturing process stage, three Eulerian marked graph based on hierarchy transformation method are designed according to different manufacturing requests. At the token-conserved Petri net synthesis stage, two design steps are involved. One is to generate a token-conserved Petri net from three Eulerian marked graphs using the synthesis rules. The other is to transform the token-conserved Petri net into an interpreted Petri net for controlling the given automated mould filling system.