摘要
Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
Petri net is an effective description language for model, especially for describing the workflow, 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.
出处
《微计算机信息》
北大核心
2006年第07X期49-51,149,共4页
Control & Automation
基金
四川省科技厅应用基础课题(03226125)
