文档简介
Petri 网是一种很有效的模型描述语言,尤其适合描述工作流。[1]给出了基于Petri 网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。关键词:Petri 网;工作流;化简规则;WL_net ; WF_logicAbstract: Abstract: Petri net is an effective des cription language for model, especially fordescribing the workflow. [1] gives reducing rules of workflow logic net that based on Petri nets. In this paper, these rules are realized by using matrix and matrix computing and are verified by a concrete example.Keywords: Petri nets; workflow; reducing rules; WL_net; WF_logic.
评论
加载更多
推荐下载
查看更多
精选文集
推荐帖子