×

找到18个文档(结果1-18)

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

程序。计算。柔和。 34,第6号,330-340(2008); 译自Programmirovanie 34,No.6(2008)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

计算智能研究20.柏林:施普林格出版社(ISBN 3-540-32869-6/hbk)。xxxii,257页。(2006).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Ciardo,Gianfranco(编辑)等人,《Petri网的应用和理论》,2005年。第26届国际会议,ICATPN 2005,迈阿密,佛罗里达州,美国,2005年6月20日至25日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26301-2/pbk)。计算机科学课堂讲稿3536268-288(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对象Petri网定义中名称和多态性的一致使用。 (英语) Zbl 1418.68151号

Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:施普林格。勒克特。注释计算。科学。1091, 380-399 (1996).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份