保罗·巴尔丹;亚历山德罗·贝吉亚托 多层次传递和不传递不干涉,因果关系。 (英语) Zbl 1380.68292号 西奥。计算。科学。 706, 54-82 (2018).MSC公司:第68季度85 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{A.Beggiato},Theor。计算。科学。706,54-82(2018年;兹比尔1380.68292) 全文: 内政部 哈尔
里克·埃舒伊斯 状态图Petri网。 (英语) Zbl 1298.68190号 正式Asp。计算。 25,第5期,659-681(2013).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Eshuis},正式Asp。计算。25,第5号,659--681(2013;Zbl 1298.68190) 全文: 内政部
斯特凡·哈尔;克恩,克里斯蒂安;斯特凡·施温 计算出现网络中的显示关系。 (英语) Zbl 1294.68112号 西奥。计算。科学。 493, 66-79 (2013).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Haar}等人,Theor。计算。科学。493、66--79(2013年;Zbl 1294.68112) 全文: 内政部
汉娜·克劳代尔;法兰克·波默罗 M-nets:一项调查。 (英语) Zbl 1178.68366号 学报信息。 45,编号7-8,537-564(2008).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}和\textit{F.Pommereau},《信息学报》第45期,第7--8537--564号(2008年;Zbl 1178.68366) 全文: 内政部 哈尔
雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼 一般\(\pi\)-微积分术语的组合Petri网翻译。 (英语) 兹比尔1152.68036 正式Asp。计算。 20,编号4-5429-450(2008).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人,正式Asp。计算。20,编号4--5,429--450(2008;Zbl 1152.68036) 全文: 内政部
特里斯坦·M·贝伦斯。;尤尔根·迪克斯 使用基于逻辑的Petri网对多agent系统进行模型检查。 (英语) Zbl 1137.68054号 安。数学。Artif公司。智力。 51,编号2-4,81-121(2007).MSC公司:68T27型 68N17号 第68季度第60季度 第68季度85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Behrens}和\textit{J.Dix},Ann.数学。Artif公司。智力。51,编号2--4,81-121(2007;Zbl 1137.68054) 全文: 内政部
维克托·科门科;马西耶·库特尼 使用整数规划验证有界Petri网。 (英语) Zbl 1112.68104号 形式方法系统。设计。 30,第2期,143-176(2007).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}和\textit{M.Koutny},《形式方法系统》。设计。30,第2号,143--176(2007;Zbl 1112.68104) 全文: 内政部
雷蒙德·魔鬼队;汉娜·克劳代尔;罗伯特·C·黎曼。 M-net演算的一般参数化求精和递归。 (英语) Zbl 1028.68092号 西奥。计算。科学。 300,编号1-3,259-300(2003).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人,Theor。计算。科学。300,编号1--3,259--300(2003;Zbl 1028.68092) 全文: 内政部
汉斯·弗利什哈克;伯恩德·格雷曼 SDL的组合Petri网语义。 (英语) Zbl 1510.68056号 Desel,Jörg(编辑)等人,《Petri网的应用和理论》,1998年。第19届国际会议,ICATPN’98,葡萄牙里斯本,1998年6月22日至26日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1420, 144-164 (1998).MSC公司:第68季度85 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fleischack}和\textit{B.Grahlmann},Lect。注释计算。科学。1420、144--164(1998年;Zbl 1510.68056) 全文: 内政部
Ekkart Kindler公司;沃尔夫冈·雷西格;哈根·沃尔泽;沃尔特·罗尔夫 基于Petri网的分布式算法验证:示例。 (英语) Zbl 0889.68071号 正式Asp。计算。 9,第4期,409-424(1997).MSC公司:68宽15 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.Kindler}等人,正式Asp。计算。9,编号4409-424(1997年;Zbl 0889.68071) 全文: 内政部