1

想象一下，我可以将某个进程指定为 Petri 网。是否有任何好的软件，无论是否开源，都可以根据我用某种语言声明（或代码）的某些条件来验证我的过程？

如果没有，是否有至少可以进行模拟的开源软件？

4

0 回答 0