1、　　論文中主要從網絡化控制系統(tǒng)的形式化建模和分析技術兩個方面進行了系統(tǒng)、深入的研究，并利用Petri網的基本性質對網絡化控制系統(tǒng)的故障進行分析，特別是系統(tǒng)故障避免的方法等。 本文在借鑒和充分研究計算機通信網絡技術、智能控制技術的基礎上，研究影響網絡化控制系統(tǒng)可靠性的主要因素，針對實際系統(tǒng)的具體要求，研究提高網絡化控制系統(tǒng)可靠性的措施和解決方案，對網絡化控制系統(tǒng)的整個生命周期的可靠性進行指導。首先擴展隨機Petri網為混合隨機Pe

2、tri網，并對其基本理論進行了嚴格的論證和推導。 本文將隨機Petri網應用于兩種現場總線Profibus和CAN總線以及以太網的形式化建模和分析，最后對整個網絡化控制系統(tǒng)進行建模和性能分析，在文中分別應用Petri的分析方法和軟件對建立的模型進行仿真分析。 論文的主要創(chuàng)新成果運用混合隨機Petri網對整個網絡化控制系統(tǒng)進行了建模和仿真。運用混合隨機Petri網對網絡化控制系統(tǒng)的故障進行了分析。結合某試驗裝置控制系統(tǒng)和混