本题考察的是业务流程建模工具的相关概念。
业务流程分析的核心是了解业务运作的过程、部门间的关系以及每个业务处理环节的意义，从而为流程优化和系统设计提供依据。
A选项 DEMO：DEMO（Design & Engineering Methodology for Organizations）是一种用于组织建模的方法，更侧重于企业沟通与协作建模，不是主要用于复杂流程的数学化建模。
B选项 Petri网：Petri网是一种重要的数学化建模工具，它能从流程的角度描述和分析复杂系统。Petri网由位置（Place）、变迁（Transition）和弧（Arc）构成，既有图形化表示，又有严谨的数学定义，适用于并发、同步、冲突等复杂业务流程的建模和分析，因此是本题正确答案。
C选项 BPM：BPM（Business Process Management，业务流程管理）是一种管理理念和方法，旨在优化企业业务流程。它可以使用多种建模工具，但BPM本身并不是一种具体的数学化建模工具。
D选项 IDEF：IDEF（Integration DEFinition）是一系列建模方法，尤其是IDEF0用于功能建模，IDEF3用于过程描述，主要适合业务流程的描述和分析，但缺乏Petri网那种严格的数学分析能力。
选择B选项 Petri网。