在嵌入式系统的体系结构建模中，描述系统数据流模型的是下列哪一种（__）。
在嵌入式系统体系结构建模领域，数据流模型的典型实现方法为Petri网，这是一种基于图论的形式化建模技术，核心优势在于可同时精准刻画系统的控制流与数据流，尤其适配嵌入式、实时系统中存在并发执行、同步协作、资源调度的场景，能清晰呈现事件触发机制、资源竞争关系及任务调度流程。与之相对，CSP与CCS同属进程代数范畴，这类方法更聚焦于并发系统中进程间通信行为的形式化表达，并非以数据流传递建模为核心；而有限状态机（FSM）则专注于描述系统的状态转换逻辑与控制结构，更适配事件驱动型的控制场景，无法直接胜任数据流过程的建模需求。
本题考察的是嵌入式系统常用建模方法与数据流模型（Data Flow Model） 的概念。
A选项 Petri 网（Petri-Net）： 正确。Petri 网是一种基于图论的形式化建模方法，能够同时描述控制流与数据流。它非常适合表示嵌入式系统、实时系统中的并发、同步与通信机制。在嵌入式数据流建模中，Petri 网可以清晰地展示事件触发、资源竞争和任务调度关系，因此是嵌入式数据流模型的典型表示方法。
B选项 CSP（Communicating Sequential Processes）： CSP 是一种用于描述并发系统中进程通信行为的形式化语言，偏重于进程同步与通信机制，而不是数据流传递建模，因此不是嵌入式数据流模型的主要方法。
C选项 CCS（Calculus of Communicating Systems）： CCS 是另一种描述并发系统通信行为的过程代数方法，与 CSP 类似，更关注进程交互的形式化表达，而非数据流建模。
D选项 FSM（有限状态机）： FSM 用于描述系统的状态转换和控制逻辑，适合表达事件驱动的控制结构，而不适合直接描述数据流过程，因此也不属于嵌入式数据流模型。