×

找到19个文档（结果1-19）

最新的 引文 关联
Virbitskaite，I.B.公司。；A.Yu Zubarev。

具有弱时间和持久原子策略的时间Petri网的“真正并发”语义。 （英语。俄文原件） Zbl 1483.68237号

程序。计算。柔和。 47，第5号，389-401（2021）; 翻译自Programmirovanie 47，No.5，60-74（2021）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{A.Yu.Zubarev}，程序。计算。柔和。47，编号5，389--401（2021；Zbl 1483.68237）；译自Programmirovanie 47，No.5，60--74（2021）
全文： 内政部
塔拉修克，I。；马西娅，H。；瓦伦丁·瓦莱罗

代数dtsiPBC中并发系统的性能分析。 （英语。俄文原件） Zbl 1339.68033号

程序。计算。柔和。 40，第5期，229-249（2014）; 译自Programmirovanie 40，No.5（2014）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Tarasyuk}等人，《计划》。计算。柔和。40，第5号，229--249（2014；Zbl 1339.68033）；译自Programmirovanie 40，No.5（2014）
全文： 内政部
内波米纳希。；阿吉洛夫，V.S。；贝洛格拉佐夫，D.M。；Bystrov，A.V.公司。；切夫塔科夫，E.A。；楚里娜，T.G。

使用高级Petri网对SDL指定的通信协议进行建模和验证。 （英语。俄文原件） Zbl 1191.68444号

程序。计算。柔和。 34，第6号，330-340（2008）; 译自Programmirovanie 34，No.6（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepominaschy}等人，《计划》。计算。柔和。34，第6号，330-340（2008；Zbl 1191.68444）；翻译自Programmirovanie 34，第6期（2008年）
全文： 内政部
阿尼西莫夫，N.A。；E.A.戈伦科夫。；D.I.哈里托诺夫。

并发和分布式系统开发的组合Petri网方法。 （英语。俄文原件） Zbl 1038.68082号

程序。计算。柔和。 27，第6号，309-319（2001）; 译自Programmirovanie 2001，第6期，30-43（2001）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Anisimov}等人，《程序》。计算。柔和。27，第6号，309--319（2001；Zbl 1038.68082）；译自Programmirovanie 2001，No.6，30-43（2001）
全文： 内政部
Virbitskaite，I.B.公司。；E.A.波科齐。

使用偏序技术验证时间Petri网。 （英语。俄文原件） Zbl 0974.68141号

程序。计算。柔和。 25，第1期，22-33（1999年）; 译自Programmirovanie 1999，No.1，28-40（1999）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{E.A.Pokozy}，程序。计算。柔和。25，第1号，第22--33条（1999；Zbl 0974.68141）；译自Programmirovanie 1999，No.1，28-40（1999）

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

主字段

软件