《Petri網及其在製造系統建模與控制中的套用》是2004年機械工業出版社出版的圖書，作者是江志斌。
Petri網作為自動製造系統建模、分析和控制的重要數學工具，與自動機相比具有結構緊湊、表達直觀等優點。將Petri網建模與分析優勢和分散式控制技術緊密融合，能夠更有效地解決自動製造系統的監督控制問題。項目致力於研究自動製造系統Petri網模型的...
Petri網是自動製造系統建模和控制的重要數學工具。自動製造系統活性Petri網控制器設計的主要問題是行為許可性，結構複雜性和計算複雜性。通過遍歷整個可達空間，Petri網控制器的行為最大許可性和結構極小性已基本解決。本項目旨在解決行為最大...
《自動製造系統建模、分析與死鎖控制》是近二十年來生產自動化科學與工程領域研究的熱點問題。圖論、自動機和Petri網是這一領域研究的主要數學方法，其中以Petri網技術的套用最為廣泛。內容簡介 《自動製造系統建模、分析與死鎖控制》闡述了...
被允許的形式化 變遷發生的形式化 Petri網到變遷系統的映射 可達性圖 Petri 是一個三元組(P,T,F)， F(P X T)U(T X P)是弧的集合 流程 一個流程的狀態是由在場所中的令牌建模的，狀態的變遷是由變遷建模的。令牌表示事物（...
本書旨在通過Petri網的形式化過程來闡述形式化方法中的相關進展。書中採用了許多實例，它們來源於不同的套用領域，例如柔性製造系統、工作流管理系統和電信系統。本書的內容涵蓋了一個系統在設計和實現的整個生命周期中的幾個主要階段，即...
這一研究工作將從理論和套用上共同推進先進制造技術的發展。結題摘要 本項目以柔性製造系統為研究背景，以死鎖控制和活性實現等問題為研究對象，使用一般Petri網模型進行建模、分析、控制和最佳化。研究工作針對一般Petri網模型不同類別(SRS、...
此外，如何從已有的工作流系統的日誌中挖掘出較為精確的過程模型，以此輔助過程建模並為過程改進提供依據，亦是一個有意義的問題。中文摘要 針對這些問題，本文基於Petri網理論，在工作流網及其擴展模型的基礎上對工作流的業務過程建模與...
存在資源不可靠因素柔性製造系統的Petri網死鎖控制策略研究,設計魯棒Petri網監督控制器;(3)最佳化設計行為最大許可、結構簡單且計算高效的魯棒Petri網控制器,結合具體系統,進行實驗研究.該項目對柔性製造系統的監督控制理論套用於實際生產系統...
《基於時間和優先權約束的柔性製造系統控制器設計》是依託西安電子科技大學，由郭金維擔任項目負責人的青年科學基金項目。中文摘要 本項目擬套用Petri網模型，研究基於時間和優先權約束的柔性製造系統建模及控制器設計方法，在邏輯層面上進行...
子網是由庫所，變遷和子網構成的網路。時序 增加時序邏輯的定義，更好的描述行為過程。Petri網的套用 Petri網的套用非常廣泛，以下是Petri網比較常用的幾種套用：軟體設計 工作流管理 工作流模式 數據分析 並行程式設計 協定驗證 ...
主要包括：半導體晶片製造系統的特點、生產調度控制的難點及國內研究現狀，拓展型面向對象Petri網的層次化建模方法，基於規則和基於模型的實時派工控制模型，ReS2仿真平台的基本架構及關鍵技術，基於隨機規劃的晶片製造系統產能規劃方法，基於多...
1.1.3 Petri網在可靠，性分析中的套用 1.2隨機Petri網及其在可靠性分析中的套用 1.2.1隨機Petri網的定義 1.2.2隨機Petri網在可靠性分析中的套用 1.3其他擴展Petri網在可靠性分析中的套用 1.4 Petri網對典型系統的可靠性建模 ...
《可重寫Petri網理論及在大規模動態分散式系統中的套用》是依託山東科技大學，由龐善臣擔任項目負責人的面上項目。項目摘要 隨著雲等新型計算的不斷發展，以服務和雲計算為套用的大規模動態分散式系統的形式化驗證理論研究成為當前研究熱點和...
第 4 章 製造系統的建模方法 89 4.1 系統建模方法概述 89 4.2 馬爾可夫過程 90 4.3 Petri 網建模理論 92 4.3.1 Petri 網的基本概念 93 4.3.2 Petri 網的擴展形式 96 4.3.3 Petri 網中的事件關係 104 4.3.4 基於 ...
本書是作者在從事Petri網理論課程教學的基礎上撰寫而成，主要介紹Petri網的基本原理和基本分析方法，以及這些原理和方法在對實際系統進行建模和分析中的套用，同時也包含了一部分作者自己的研究成果。主要內容包括：Petri網的基本概念、基本...
研究工作的重點是：（1）控制為中心的協同業務過程的Petri網和π演算綜合建模和分析；（2）數據為中心的協同業務過程的綜合建模和分析；（3）協同業務過程在MRO(維護、修理、運行)系統中的套用。本課題工作不僅對業務過程管理技術有直接...
《基於資源約束Petri網的過程建模與集成方法》是依託中國人民解放軍國防科技大學，由劉俊先擔任項目負責人的面上項目。中文摘要 本項目針對過程集成中的集成模型合理性問題和資源衝突問題，研究資源約束下的過程建模與集成方法。首先建立資源...
提出了一種可實現車隊中各車輛無碰撞的協同分散式預測控制方法；其次，與自動化碼頭一樣，自動製造系統也是不允許擁堵和死鎖的，為此我們針對一類帶有不可靠資源的自動製造系統，利用Petri網和自動機提出了一種通過合理分配快取空間來保證不...
Petri網在C4ISR學位建模、仿真與分析中的套用 《Petri網在C4ISR學位建模、仿真與分析中的套用》是國防科技大學出版社出版的圖書，作者是羅雪山編著
《基於Petri網的CIM信息系統設計方法》是依託東南大學，由羅軍舟擔任項目負責人的面上項目。中文摘要 CIM系統開發要求建立用於企業的信息系統建模和分析的模型。本項研究試圖基於Petri網提出一種新型的高級集成模型，套用於工程和製造信息系統...
《多尺度雙子代數建模與控制研究》是依託浙江大學，由戴華平擔任項目負責人的青年科學基金項目。項目摘要 針對極大代數的缺陷，結合Petri網，提出了諸如生產製造系統、通信網路等一類人造系統在多尺度條件下的雙子代數建模方法，考慮了確定性和...
第二部分為AIMS的建模與控制，介紹一製造系統建模的目的、任務、方法，以指導製造系統建模方法的開發和套用；討論了自動製造系統統一建模的方法；提出了以及面向對象的賦時Petri網的敏捷製造單元建模技術以及研究了敏捷製造單元控制理論和方法...
