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.
猜您喜欢
推荐帖子
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门文章
评论