以Coloured Petri Net為基礎的低壓工業配線電路分析

陳涵櫻

指導教授 ： 李忠謀

國立臺灣師範大學/教育學院/資訊教育學系/碩士(2002年)

摘要

本研究提出以CPN為資料模型的低壓工業配線電路表示方法並加以分析。首先發展出元件的CPN模型，其次依照線路組合原則產生階梯圖的CPN Graph，最後以State Space分析電路狀態。藉由分析的過程，可以計算出電路的元件動作順序、電壓狀態及電流走向。短路偵測是本研究的另一項重點。在建立CPN Graph時便可偵測出危險迴路的位置，而從State Space中分析token的變化情形可以即時偵測是否發生短路。
本研究提出之元件模型，經過State Space分析，皆完全吻合元件的時序圖。新增元件模型時，並不會對於已測試成功的的元件模型造成影響，也不用改變原有的線路組合原則，因此具有優良的穩定性和擴充性。

關鍵字

低壓工業配線 ； 狀態空間 ； 彩色派翠西網路 ； 分析

並列摘要

This thesis presents a colored Petri-Net (CPN) based analysis of Low-Voltage Industrial Wiring. CPN model of individual wiring component is presented. The rules for connecting the individual CPN to reflect actual wiring between components are discussed. Analysis of the circuit is done by state space analysis of the corresponding CPN. By examining the firing sequence of the CPN, status of the circuit components, including voltage state and the electricity current flow direction, can be analyzed. Furthermore, faulty circuit wirings that can result in short circuits can be readily detected in the analyzing process and the origin of the faulty wiring can be pinpointed. The CPN model has the added flexibility that new component Petri Net model can be added to the model without changing the connecting rules.
The CPN model for analysis of low-voltage industrial wiring is proved to be correct by mean of exhaustive analysis of the possible states and matching that against possible time series of the wired circuit board. The analysis shows a one-to-one correspondence between intermediate states of CPN and the charged circuit board. Experiment with 50 low-voltage industrial wiring samples taken from the official technician certification tests show that the CPN model can be used to efficiently analyze correctly wired as well as faulty circuits.

並列關鍵字

Low-Voltage Industrial Wiring ； State space ； Coloured Petri Net ； analysis

參考文獻

[6] 莊崇成(2000)。TINA與EWB在數位電路技術教學的實驗研究。國立臺灣師範大學工業教育研究所碩士論文。

[12] Chowdhury, Dipanwita Roy & Gupta, Indranil Sen. (1990). Modelling and Simulation of Combinational Digital Circuits Using Petri Nets. Int. J. Syst. Sci., August 21( 8) , 1503-1513

[14] J.L. Peterson. (1981). Petri Net Theory and the Modeling of Systems. Prentice-Hall, Inc.

[16] K. Jensen. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing . ISBN: 3-540-60943-1.

[17] K. Jensen. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing . ISBN: 3-540-58276-2.