基于Petri 网的工作流逻辑化简规则的矩阵表示

资 源 简 介

Petri 网是一种很有效的模型描述语言，尤其适合描述工作流。[1]给出了基于Petri 网
的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规

您 可 能 感 兴 趣 的

• Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架
• petri网络的演示程序
• Petri网绘制图形、仿真、计算工具。可用于进行结构分析和性能分析。
• 一部介绍petri网模型的好书。 petri网理论提出自20世纪60年代
• petri网的一些相关简单入门文章汇总
• 关于有色petri网的应用文章
• 可以简单计算petri网的状态空间,用来分析petri网的特性
• Petri网分析工具PIPE is open-source
• EDA 软件算法；采用Petri－net对异步控制电路进行综合
• 模拟一个Petri网的行为:该程序应该读入一组转换规则