名词解析

Petri网

正确答案

一种常用的形式化建模语言,可以实现离散并行系统的数学表示。

答案解析