作者：陈华艳工作流执行petri网公文流转办公自动化系统智能楼宇事件序列令牌触发
摘要：基于Petri网工作流的智能楼宇OAS研究，以公文流转为例，首先找出流程实例中的事件序列。工作流执行时，C1中有1个令牌，触发任务1执行完成，消耗掉该令牌，并转移到另一C1中，C1产生令牌。新的C1令牌使得任务2触发，并转移到C2和C3中。任务3和任务4可以同时或异步触发。触发执行后，令牌转移到C4和C5，C4和C5各产生1个令牌，引起任务5的就绪并触发，最后到达C6，工作流结束。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
