工作流引擎核心调度：非PetriNet算法的开源引擎解析

本文档深入探讨了工作流引擎的核心调度算法，特别是与PetriNet的关系。对于不具备工作流基础知识或对主流工作流引擎如OBE、Shark、OSWorkflow、jBpm和YAWL等不熟悉的读者，该资源可能不适用。PetriNet是一种图形化的系统理论模型，用于描述并发系统的行为，其核心概念在于令牌转移导致流程实例（Case）的重新启用（enabled遍历），类似于著名的蝴蝶效应。 文章首先强调了在理解调度算法和PetriNet之前，有必要对PetriNet的基本原理有所了解。作者分享了自己在Justep公司期间对PetriNet算法的研究经历，指出虽然他对PN（Petri网）的初始兴趣不高，但在导师的压力下进行了深入学习。作者建议读者在继续阅读前对PetriNet有基本的认识，否则可能无法跟上本文的内容。 然而，实际工作中，大多数开源工作流引擎，如OBE、Shark、OSWorkflow和jBpm，采用的并非PetriNet算法。作者针对这些引擎的核心调度机制进行了分析，特别提到了它们各自的特点，但强调这不是基于PetriNet的调度方式。对于那些仅仅关注如何使用这些引擎，而不关心底层调度逻辑的用户，文章可能不是他们的首选。 此外，作者对于修改开源引擎代码的行为持有批评态度，认为这种行为缺乏尊重且可能导致知识产权问题。他着重指出，由于涉及保密性和知识产权保护，本文将主要讨论开源引擎的公开信息，以便让读者在法律允许的范围内了解这些技术。 本文是一篇深度解析工作流引擎核心调度算法的文章，特别关注了非PetriNet方法在OBE、Shark、OSWorkflow和jBpm等知名开源引擎中的应用，适合对工作流引擎技术和调度算法有一定了解的读者阅读。