對象技術是當前軟體開發的主流技術並且日益被網路和分布計算領域接納和採用，如現在非常流行的分布對象實現模型EJB、CORBA和DCOM。Petri網是描述具有異步並發特徵系統的優秀形式化圖形建模工具。因此如何結合對象技術和Petri網一直是一個研究熱點。
對UML序列圖進行了擴展，描述系統中的並發、同步、選擇和匯合等特性。 (4)提出了對象時間Petri網(OTPN)模型的概念，將Petri網和面向對象技術結合起來，所得模型具有模組化、多態、重用性和繼承的特點。提出了基於OTPN模型的時間一致性...
對於複雜的系統，Petri網可以對其進行分層描述，逐步求精，便於同面向對象的思想方法相溝通。本書是作者在從事Petri網理論課程教學的基礎上撰寫而成，主要介紹Petri網的基本原理和基本分析方法，以及這些原理和方法在對實際系統進行建模和分析...
第4章Petri罔系統並行化預處理 第5章p－不變數求解算法與T－圖子網劃分方法 第6章Petri網系統並行化子網劃分理論 第7章多核機群的Petri網並行模型及其算法 第8章工作流Petri網系統的並行算法 第9章基於Petri網的變斂交通網路建模及其...
本課題採用以PETRI網系統作為研究並行處理模型工具，使網的並發性質與各種實際系統中的並行處理問題緊密結合起來。我們完成了用網作為並行系統建模與實現工具的形式方法，特別是著色網；提交了一種網的面向對象的方法，進而在對象的一般特徵交...
Petri網是一種描述離散系統的建模工具，尤其適合於順序、並發、衝突和同步過程的分析。因此，基於Petri網的製造系統建模及分析技術被廣泛的提出。各種不同類型的Petri網(如面向對象Petri網、著色Petri網、隨機Petri網以及變結構Petri網等)...
因此，本項目的研究成果是對形式化方法與互模擬理論的一個有益擴充，為面向安全的系統的設計提供理論支撐。結題摘要 本成果圍繞互動式並發系統的行為安全性與行為正確性，基於Petri網，從控制流、數據流、時間、認知四個維度為系統建模，...
之前開展過有關改進Petri網分層建模能力的研究工作，提出過一種將網元素分類成組的方法解決該問題。這項研究有助於描述並發麵向對象系統以及面向側面構件的行為重用性。研究課題 國家自然科學基金可信軟體基礎研究重大研究計畫面上課題: 基於...
