尼古拉·阿尼西莫夫 叶夫根尼·戈伦科夫 德米特里·哈里托诺夫 并发和分布式系统开发的组合Petri网方法。 309-319 2001 27 程序。计算。柔和。 6 https://doi.org/10.1023/A:1012758417962 db/journals/pcs/pcs27.html#AnisimovGK01