首页 › 答案 › 题库 › 知到智慧树 › 未分类

Petri网可用于表达同步问题、竞争条件以及死锁问题。

Petri网可用于表达同步问题、竞争条件以及死锁问题。
A.正确
B.错误
正确答案：A

标签：软件工程死锁条件

上一条：关于形式化说明技术，下列说法正确的是（）。

下一条：用Z语言描述的、最简单的形式化规格说明包含（）。