@第{zbMATH05601825条，作者={Neponiaschy，V.A.和Argirov，V.S.和Beloglazov，D.M.和Bystrov，A.V.和Chetvertakov，E.A.和Churina，T.G.}，标题={建模和验证{SDL}-指定使用高级{Petri网}的通信协议，FJournal={编程与计算机软件}，日志={Program.Comput.Softw.}，ISSN={0361-7688}，体积={34}，数字={6}，页码={330--340}，年份={2008}，语言={英语}，DOI={10.1134/S0361768808060042}，关键词={68Q85}，zbMATH={5601825}，Zbl=｛1191.68444｝}