New extended workflow net for formalizing workflow patterns

• 一种支持工作流模式的扩展工作流网