????????該文介紹了佩特利網(wǎng)（Petri網(wǎng)）和Stateflow的基本概念，給出Petri網(wǎng)在Matlab環(huán)境下的仿真方法，并以單水箱系統(tǒng)的混合Petri網(wǎng)模型為例進行說明，結(jié)合仿真結(jié)果對Peri網(wǎng)的性能進行了初步分析。
關(guān)鍵詞 佩特利網(wǎng)；仿真；Stateflow
??????? Petri網(wǎng)的概念源于1962年C. A. Petri 的博士論文《用自動機通信》。經(jīng)過三十多年的發(fā)展，Petri網(wǎng)理論已經(jīng)成為具有嚴密數(shù)學模型，多抽象層次、多用途的通用網(wǎng)論，并逐漸成為各相關(guān)學科的“通用語言”。Petri網(wǎng)作為一種圖形化、數(shù)學化建模工具，能夠提供一個集成的建模、分析和控制環(huán)境，為系統(tǒng)的設(shè)計提供便利。針對Petri網(wǎng)模型，除了利用可達樹、可達圖和狀態(tài)方程等方法進行性能分析外，仿真分析也是一種有效工具。Matlab 5.1版中首次在Simulink建模環(huán)境中加入了Stateflow軟件包，三者的無縫集成生成了一個交互圖形化動態(tài)系統(tǒng)建模環(huán)境，其仿真能力能夠?qū)﹄x散，連續(xù)，條件執(zhí)行，事件驅(qū)動，多速率，混雜系統(tǒng)等進行分析，因而是研究Petri網(wǎng)的理想工具。本文給出了Petri網(wǎng)和Stateflow的基本概念與特性，并以單水箱系統(tǒng)為例，介紹在Matlab環(huán)境下Petri網(wǎng)的仿真方法。