×

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

最新的 引文 关联
赫洛莫兹达，D.K。；格利波茨，M.M。；O.M.马克西米茨。

自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 （英语。俄文原件） Zbl 1445.68141号

赛博。系统。分析。 54，第4期，650-661（2018）; 翻译自Kibern。修女。分析。2018年，第4期，151-163（2018）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.K.Hlomozda}等人，Cybern。系统。分析。54，第4号，650--661（2018；Zbl 1445.68141）；翻译自Kibern。修女。分析。2018年第4期，151--163（2018）
全文： 内政部
瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲涅·塔哈尔

形式可靠性建模与分析：一项调查。 （英语） Zbl 1344.68200号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，132-147（2016）。
MSC公司：68吨15 60年第68季度 68问题85 87年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{W.Ahmed}等人，Lect。注释计算。科学。9791、132--147（2016年；Zbl 1344.68200）
全文： 内政部 arXiv公司
法兰克·波默罗

SNAKES：一个灵活的高级Petri网库（工具文件）。 （英语） Zbl 1432.68316号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 254-265 (2015).
MSC公司：68问题85 第68页第20页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Pommereau}，莱克特。注释计算。科学。9115，254--265（2015；Zbl 1432.68316）
全文： 内政部 哈尔
勒丁·图安；阮、胡武；阮文婷；Mai、Phuong-Nam；宝龙Pham-Duy；Quan，Thanh-Tho先生；埃蒂安·安德烈；劳蕾·佩特鲁奇；刘，杨

PeCAn：Petri网的合成验证变得很容易。 （英语） Zbl 1448.68305号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 242-247 (2014).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.-T.Le}等人，Lect。注释计算。科学。8837、242--247（2014；Zbl 1448.68305）
全文： 内政部
内波米纳希。；阿吉洛夫，V.S。；贝洛格拉佐夫，D.M。；Bystrov，A.V.公司。；切夫塔科夫，E.A。；楚里娜，T.G。

使用高级Petri网对SDL指定的通信协议进行建模和验证。 （英语。俄文原件） 兹比尔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，No.6（2008）
全文： 内政部
沃伊切赫·彭泽克；阿加塔·波罗拉

时间Petri网和时间自动机的验证进展。时间逻辑方法。 （英语） Zbl 1110.68087号

计算智能研究20.柏林：施普林格出版社（ISBN 3-540-32869-6/hbk）。xxxii，257页。(2006).
审核人：Ryszard Janicki（汉密尔顿）
MSC公司：68问题85 65年第68季度 60年第68季度 03B44号 68号30 68-02
PDF格式BibTeX公司 XML格式引用
\textit{W.Penczek}和\textit{A.Półrola}，时间Petri网和时间自动机验证的进展。一种时间逻辑方法。柏林：施普林格出版社（2006；Zbl 1110.68087）
全文： 内政部
凯瑟琳·霍夫曼；哈特穆特·埃里格；蒂尔·莫萨科夫斯基

以网络和规则作为标记的高级网络。 （英语） Zbl 1128.68063号

Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536268-288（2005）。
MSC公司：68问题85 2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoffmann}等人，Lect。注释计算。科学。3536268-288（2005年；兹比尔1128.68063）
全文： 内政部
安妮卡·阿尔托；尼斯Husberg；Kimmo Varpaaniemi公司

SDL的自动形式化模型生成和分析。 （英语） Zbl 1038.68612号

Reed，Rick（编辑）等人，SDL 2003：系统设计。第11届国际SDL论坛，德国斯图加特，2003年7月1日至4日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40539-9/pbk）。莱克特。注释计算。科学。2708, 285-299 (2003).
MSC公司：68单位99 64岁以下 68甲15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Aalto｝等人，Lect。注释计算。科学。2708285--299（2003年；Zbl 1038.68612）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件