论文部分内容阅读
基于Petri网工作流的智能楼宇OAS研究，以公文流转为例，首先找出流程实例中的事件序列。工作流执行时，C1中有1个令牌，触发任务1执行完成，消耗掉该令牌，并转移到另一C1中，C1产生令牌。新的C1令牌使得任务2触发，并转移到C2和C3中。任务3和任务4可以同时或异步触发。触发执行后，令牌转移到C4和C5，C4和C5各产生1个令牌，引起任务5的就绪并触发，最后到达C6，工作流结束。