问答题

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

答案：对===

你可能感兴趣的试题

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

答案：应该选用适当的表示方法===应该形式化，但不要过分形式化===应该有形式化方法顾问随时提供咨询===

用自然语言书写的系统规格说明书可能存在的问题包括（）。

答案：二义性===不完整性===含糊性===矛盾===