罗斯安格拉阿尔伯克基;科内利·朱尼尔;乔瓦尼·巴罗佐;吉尔赫梅·巴雷托 一种新型的全自适应神经网络建模与实现,使用有色Petri网。 (英语) Zbl 1522.93119号 离散事件动态。系统。 33,编号2,129-160(2023).MSC公司:93元65角 93C40型 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{R.Albuquerque}等人,离散事件动力学。系统。33,编号2,129--160(2023;Zbl 1522.93119) 全文: 内政部
哈菲迪,Y。;德文克,E.P。 使用Petri网对基于组件的系统的重新配置建模的概念构建块。 (英语) Zbl 07618120号 J.日志。阿尔盖布。方法计划。 130,文章ID 100813,16 p.(2023).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hafidi}和\textit{E.P.de Vink},J.Log。阿尔盖布。方法计划。130,文章ID 100813,第16页(2023;Zbl 07618120) 全文: 内政部 OA许可证
伊萨·纳杰菲 使用有色Petri网对B2C电子商务中的电子信任进行决策建模和评估。 (英语) Zbl 1513.91025号 国际期刊非线性分析。申请。 11,编号1,355-366(2020).MSC公司:91B06型 90B50型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{I.Najafi},国际期刊《非线性分析》。申请。11,编号1,355--366(2020;Zbl 1513.91025) 全文: 内政部
埃萨尼,Furqan Hussain;萨贾德·海德尔 一种将非对称多重旅行商问题映射到有色Petri网的算法。 (英语) Zbl 1461.90158号 算法(巴塞尔) 11,第10号,第143号论文,第15页(2018年).MSC公司:90立方厘米35 90C27型 68瓦40 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.H.Essani}和\textit{S.Haider},算法(巴塞尔)11,第10号,论文编号143,15页(2018;Zbl 1461.90158) 全文: 内政部 OA许可证
杨念华;于慧群;钱志林;孙华 基于随机Petri网的软件安全建模与定量预测。 (英语) Zbl 1245.68069号 数学。计算。建模 55,编号1-2,102-112(2012).MSC公司:68纳米99 68问题85 60J28型 PDF格式BibTeX公司 XML格式引用 \textit{N.Yang}等人,数学。计算。55号模型,编号1--2,102-112(2012;Zbl 1245.68069) 全文: 内政部
库尔特·延森;Kristensen,Lars M。;托马斯·梅隆德 扫线状态空间探索方法。 (英语) Zbl 1238.68085号 西奥。计算。科学。 429, 169-179 (2012).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Jensen}等人,Theor。计算。科学。429169--179(2012年;Zbl 1238.68085) 全文: 内政部
保罗·巴尔丹;尼科莱塔·科科;安德烈亚·马林;玛尔塔·西蒙 用于建模代谢途径的Petri网:一项调查。 (英语) Zbl 1206.68209号 自然计算。 9,第4期,955-989(2010).MSC公司:68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《自然计算》。9,第4号,955--989(2010;Zbl 1206.68209) 全文: 内政部
内波米纳希。;阿吉洛夫,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,No.6(2008) 全文: 内政部
克劳迪娜·朝义亚;伊丽莎白·雷米;丹尼斯·蒂夫里 生物调控网络的Petri网建模。 (英语) 兹比尔1153.90336 J.离散算法 6,第2期,165-177(2008).MSC公司:90磅10英寸 PDF格式BibTeX公司 XML格式引用 \textit{C.Chaouiya}等人,J.离散算法6,No.2,165--177(2008;Zbl 1153.90336) 全文: 内政部
Gradišar博士。;Mušič,G。 基于生产管理数据的自动化Petri网建模。 (英语) 兹比尔1160.90394 数学。计算。模型。动态。系统。 13,第3期,267-290(2007).MSC公司:90B30型 68问题85 90B90型 68岁20岁 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gradišar}和\textit{G.Mušič},数学。计算。模型。动态。系统。13,第3号,267--290(2007;Zbl 1160.90394) 全文: 内政部 链接
沃伊切赫·彭泽克;阿加塔·波罗拉 时间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。注释计算。科学。3536、268--288(2005年;Zbl 1128.68063) 全文: 内政部
阿德尔·本·穆纳乌尔;巴德里亚Al-Riyami 在非专用集群环境中有效调度本地交互进程和并行进程。 (英语) Zbl 1071.68511号 J.平行分布计算。 65,第6号,755-766(2005).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Ben Mnaouer}和\textit{B.Al-Riyami},J.并行分布计算。65,第6号,755--766(2005;Zbl 1071.68511) 全文: 内政部
韦斯纳Bosilj-Vuksic;弗拉特卡·赫卢皮克 Petri网和IDEF图:业务流程建模的适用性和有效性。 (英语) Zbl 0984.68603号 卢布Informatica。 25,第1期,123-133(2001).MSC公司:68单位99 68问题85 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{V.Bosilj-Vuksic}和\textit{V.Hlupic},卢布Informatica。25,编号1,123--133(2001;Zbl 0984.68603)
J.帕德伯格。;加耶夫斯基,M。;埃梅尔,C。 基于规则的高级网络细化,保护安全属性。 (英语) Zbl 0969.68109号 科学。计算。程序。 40,第1期,97-118(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Padberg}等人,科学。计算。程序。40,第1号,97--118(2001;Zbl 0969.68109) 全文: 内政部
克里斯滕森,拉尔斯·迈克尔 有色Petri网的状态空间方法。 (英语) Zbl 0956.68096号 奥胡斯:奥胡斯大学科学学院,xiv,191 p.(2000)。MSC公司:68问题85 68-02 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Kristensen},有色Petri网的状态空间方法。奥胡斯:奥胡斯大学科学院(2000;Zbl 0956.68096)
Z.齐亚特苏利斯。;Cotronis,J.Y。 测试和调试消息传递程序及其规范。 (英语) Zbl 0954.68111号 芬丹。通知。 41,第3期,341-366(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Tsiatsoulis}和\textit{J.Y.Cotronis},Fundam。通知。41,第3号,341--366(2000;Zbl 0954.68111)
查尔斯·拉科斯 对象Petri网定义中名称和多态性的一致使用。 (英语) Zbl 1418.68151号 Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:施普林格。勒克特。注释计算。科学。1091, 380-399 (1996).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Lakos},莱克特。注释计算。科学。1091、380-399(1996年;Zbl 1418.68151) 全文: 内政部