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

【Abstract】 Research of IBMS OAS based on Petri net workflow, taking document circulation as example, the event sequence in circulation example was found out at first. When workflow was executing, one token in C1 was used to trigger and carry out task 1; after that, the token was consumed and sent to the other C1; then, a new token was generated by C1. The task 2 was triggered by the new C1 token; then, the new token was sent to C2 and C3. Task 3 and task 4 could be triggered at the same time or asynchronously. After executing trigger, the token was sent to C4 and C5, and one token was generated by each of then to trigger task 5 and sent to C6 at last. The workflow was completed.更多还原