用Petri网分析离散事件动态系统
来源期刊:控制与决策1990年第1期
论文作者:王文学
文章页码:29 - 37
摘 要:本文对DEDS理论主要研究方法之一的Petri网技术作了较深入的探讨,对几种Petri网模型进行了综合和概括,给出了形式定义,进而讨论了可达树、不变量、状态方程等Petri网分析技术。文中对计时Petri网的建模和求解、状态空间的选择进行了详细分析,讨论了一种降维解法。
王文学
东北工学院
摘 要:本文对DEDS理论主要研究方法之一的Petri网技术作了较深入的探讨,对几种Petri网模型进行了综合和概括,给出了形式定义,进而讨论了可达树、不变量、状态方程等Petri网分析技术。文中对计时Petri网的建模和求解、状态空间的选择进行了详细分析,讨论了一种降维解法。
关键词: