本研究提出以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.

[1] 九十年丙級室內配線技術士技能檢定暨乙種電匠考驗術科試題(2001)。職訓局。
[2] 朱宣宇(1999)。低壓工業配線訓練器之研製。中正理工學院電子工程研究所碩士論文。
[3] 林智偉(2002)。使用派翠網路為基礎塑模與分析工作流程。國立臺灣科技大學電子工程系碩士論文。
[4] 柯裕隆(2001)。應用派翠網路於配電系統開關操作策略制定之研究。國立中山大學電機工程學系博士論文。
[5] 孫宇安(2001)。採用Color Petri Net方法測程式原始碼緩衝區溢位問題。國立中央大學資訊管理研究所碩士論文。
[6] 莊崇成(2000)。TINA與EWB在數位電路技術教學的實驗研究。國立臺灣師範大學工業教育研究所碩士論文。
[7] 郭塗註、黃錦華(2001)。電工實習Ⅱ。雙日文化事業無限公司。
[8] 曾才榮、李通傑(2002)。電工實習Ⅱ。旗立資訊股份有限公司。
[9] 鄭文輝、陳春雄、李清泉(1992)。電機實習(一)下— 低壓工業配線實習。科友圖書有限公司。
[10] 趙錦湟(2001)。高職電機電子群工業電子專業實習課程使用電腦模擬軟體學習成效之研究。國立彰化師範大學工業教育系碩士論文。
[11] 簡培修(1994). HIPNET: A Petri Net Based Data Model for Hypermedia Design.國立台灣師範大學資訊教育研究所碩士論文。
[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
[13] G.S. Panagiotara & O.G. Koufopavlou. (1997) , Area Reduction in Asynchronous Circuits by Signal Transition Graph Transformations, Seventh International Workshop Program Power and Timing Modeling, Optimization and Simulation, September, 8-10
[14] J.L. Peterson. (1981). Petri Net Theory and the Modeling of Systems. Prentice-Hall, Inc.
[15] J. Cortadella & L. Lavabno & A. Yakovlev.(2000).Synthesis of asynchronous circuits from Signal Transition Graphs. 21ST International Conference On Application And Theory of Petri Net, June 26-30, 59-94.
[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.
[18] K. Jensen. (1997) A Brief Introduction to Coloured Petri Nets. In: E. Brinksma (ed.): Tools and Algorithms for the Construction and Analysis of Systems. Proceeding of the TACAS'97 Workshop, Enschede, The Netherlands 1997, Lecture Notes in Computer Science Vol. 1217, Springer-Verlag , 203-208.
[19] K. Jensen. (1998). An Introduction to the Practical Use of Coloured Petri Nets. In: W. Reisig and G. Rozenberg (eds.): Lectures on Petri Nets II: Applications, Lecture Notes in Computer Science Vol. 1492, Springer-Verlag, 237-292.
[20] K. Jensen , et al. Design/CPN Manuals. Meta Software Corporation and Department of Computer Science, University of Aarhus, Denmark. On-line version . URL: http://www.daimi.au.dk/designCPN/man/
[21] K.S. Low & A. Yakovlev(1995). Token Ring Arbiters: An Exercise in Asynchronous Logic Design with Petri-Nets. Department of Computing Science, University of Newcastle upon Tyne, Technical Report 537, 1-38.
[22] Overview of Design/CPN. URL: http://www.daimi.au.dk/designCPN/
[23] P. Huber, A.M. Jensen, L.O. Jepsen & K. Jensen. (1986). Reachability Trees for High-level Petri Nets. Theoretical Computer Science 45(3), North-Holland, 261-292. Also in K. Jensen and G. Rozenberg (eds.): High-level Petri Nets. Theory and Application, 319-350.