基于STR的工作流流程定义

摘要

在Petri Net中,状态及状态间的变迁是其最核心的组成部分,本文从这两者出发,提出了一种基于状态迁移的工作流流程定义机制STR(StateTransfer Rule),较好地解决了Petri Net所存在的问题.在论文的第2部分,将给出STR规则的定义,并研究企业工作流程的STR表示;第3部分将介绍一个基于STR的工作流引擎STRWfE的具体设计与实现;论文的最后则是对全文工作的总结和展望.