Ludmila A.Cherkasova。;费林，亚历山大·S·。 同步并发进程：网络和代数方法。 （英语） Zbl 0688.68057号 博蒂克的逻辑，Proc。计算机科学逻辑基础研讨会，佩雷斯拉夫·泽莱斯基/苏联1989年，Lect。注释计算。科学。363, 63-80 (1989). [关于整个系列，请参见Zbl 0669.00003号.]本文是（第一作者的）众多论文之一，通过代数描述了Petri网的某些方面，这里是在互斥条件下使用相同资源（关键部分）通过序列化实现过程同步。发展了AFP家族各自的代数。审核人：H.保险丝 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68卢比99 离散数学与计算机科学 93C55美元 离散时间控制/观测系统 08C99号 其他代数类 关键词：并发系统;僵局;同步;Petri网;相互排斥 引文：Zbl 0669.00003号 PDF格式BibTeX公司 XML格式