单项选择题
A、每个数据流必须用名词或名词短语命名 B、每个加工必须有名字，通常是动词短语 C、每个数据存储必须用名词或名词短语 D、每个数据源点或终点必须有名字
A、问题分解 B、可靠性与安全性要求 C、结构化程序设计 D、确定逻辑模型
A、Petri网是对离散并行系统的数学表示 B、Petri网能够表达并发的事件 C、Petri网通常被描述为一张有向图 D、Petri网中事件到来就被激发