臺灣博碩士論文加值系統

本研究提出以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.1 簡介
1.2 相關研究探討
1.2.1電腦模擬低壓工業配線的研究
1.2.2 Petri Net應用在電路分析方面的研究
1.3 低壓工業配線與Petri Net的對應關係
1.4 研究問題與目的
第二章 背景知識
2.1 低壓工業線配系統的動作原理
2.1.1階梯圖的動作原理
2.1.2配電盤線路圖轉換為階梯圖
2.2 Petri Net Theory
2.3 Coloured Petri Net理論及分析
第三章 配線元件的Coloured Petri Net Model
3.1 負載
3.2 開關
3.3 電驛
3.4 電源
3.5 接地
3.6 Summary
第四章 階梯圖的Coloured Petri Net Graph
4.1 階梯圖的Coloured Petri Net Graph
4.2 階梯圖的State Space分析
4.3 錯誤電路的分析
4.3.1短路
4.3.2一條迴路中有多個負載
4.4 Summary
第五章 應用與電路分析實例
5.1 低壓工業配線模擬系統介紹
5.1.1配線介面
5.1.2電路分析
5.2 元件model歸類與電路分析實例
5.3 討論
5.4 Summary
第六章 結論與未來研究
6.1 結論
6.2 未來研究
6.2.1元件model的改進
6.2.1應用在教學方面
6.2.2最短配線路徑計算
附錄
附錄A 低壓工業配線基本元件介紹
附錄B 配線元件的接腳圖與電路符號之對應
附錄C 配線元件的Coloured Petri Net Model 及分析
附錄D 元件state space的狀態解譯
參考文獻

[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.