塞尔吉·克里维；吕德米拉·马特维耶娃 将MSC指定的系统转换为Petri网的算法。 （英语） Zbl 1124.68072号 芬丹。通知。 79，编号3-4，431-445（2007）. 摘要：本文提出了一种将MSC’2000图转换为模强互模拟Petri网的算法。证明了该算法的正确性。在这里，我们通过过程代数的方法，用MSC（langle）条件（rangle）元素的形式化定义来补充MSC’2000标准。此转换算法是自动验证系统的一部分，该系统正式指定并验证MSC语言中指定的设计软件或硬件系统，由S.Kryvyy和L.Matvyeeva和M.洛帕蒂纳[Fundam.Inform.67，No.1-3，107–120（2005；Zbl 1096.68091号); “MSC指定电信系统的自动分析和验证”，在：Proc。第一届控制、自动化和机器人信息学国际会议2，402-405（2004）]。 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：进程代数 引文：Zbl 1096.68091号 软件：玛丽亚 PDF格式BibTeX公司 XML格式引用 \textit{S.Kryvyy}和\textit{L.Matvyeeva}，Fundam。通知。79，编号3--4，431--445（2007；Zbl 1124.68072）