10.3969/j.issn.1008-0570.2006.21.017
基于Petri网的工作流逻辑化简规则的矩阵表示
Petri网是一种很有效的模型描述语言,尤其适合描述工作流.给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证.
Petri网、工作流、化简规则、WL_net、WF_logic
22
TP3(计算技术、计算机技术)
四川省自然科学基金03226125
2006-09-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
49-51,149