尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 (英语) Zbl 1309.68130号 学报信息。 52,编号2-3,269-297(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Acta Inf.52,No.2--3,269--297(2015;Zbl 1309.68130) 全文: DOI程序 链接
谢尔盖·哈达德;罗尔夫·亨尼克;米凯尔·H·默勒。 具有模式I/O-Petri网的异步组件系统规范。 (英语) Zbl 1348.68162号 Abadi,Martín(编辑)等人,《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-05118-5/pbk;978-3-3169-05119-2/电子书)。计算机科学课堂讲稿8358219-234(2014)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}等人,Lect。注释计算。科学。8358,219--234(2014;Zbl 1348.68162) 全文: DOI程序
约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 (英语) 兹比尔1359.68216 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3--28(2014;Zbl 1359.68216) 全文: DOI程序
谢尔盖·哈达德;罗尔夫·亨尼克;米凯尔·H·默勒。 异步组合Petri网的信道属性。 (英语) Zbl 1381.68203号 Colom,José-Manuel(编辑)等人,《Petri网和并发的应用和理论》。第34届国际会议,PETRI NETS 2013,意大利米兰,2013年6月24日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38696-1/pbk)。计算机科学课堂讲稿7927369-388(2013)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}等人,Lect。注释计算。科学。7927369-388(2013年;兹比尔1381.68203) 全文: DOI程序
亚历山大·戴维;拉塞·雅各布森;莫滕·雅各布森;约根森、肯尼思·伊尔克;米凯尔·H·默勒。;吉·斯尔巴 TAPAAL 2.0:时弧Petri网的集成开发环境。 (英语) Zbl 1352.68181号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012)是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,492-497(2012)。MSC公司:68问题85 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。7214、492--497(2012年;Zbl 1352.68181) 全文: DOI程序
尼古拉·贝内什;简·Křetínsk;金·古德斯特兰·拉森;米凯尔·H·默勒。;吉·斯尔巴 具有持续时间的双价格模式转换系统。 (英语) Zbl 1352.68144号 Björner,Nikolaj(编辑)等人,《编程逻辑、人工智能和推理》。第18届国际会议,LPAR-18,委内瑞拉梅里达,2012年3月11-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28716-9/pbk)。计算机科学课堂讲稿7180122-137(2012)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。7180122-137(2012;Zbl 1352.68144) 全文: DOI程序
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;吉·斯尔巴 参数模态转换系统。 (英语) Zbl 1348.68120号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,275-289(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。6996,275--289(2011;Zbl 1348.68120) 全文: DOI程序
拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。;吉·斯尔巴 时弧Petri网的验证。 (英语) Zbl 1298.68175号 乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543,46-72(2011)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人,Lect。注释计算。科学。6543、46-72(2011年;Zbl 1298.68175) 全文: DOI程序
拉塞·雅各布森;莫滕·雅各布森;米凯尔·H·默勒。 带不变量的时弧Petri网覆盖性和有界性的不确定性。 (英语) Zbl 1247.68186号 Hlinen,Petr(ed.)等人,计算机科学数学和工程方法年度博士研讨会(MEMICS’09)。根据2009年11月13日至15日在捷克共和国Znojmo举行的研讨会上所作的介绍,选出了一些论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-15-6)。OASIcs–信息学中的OpenAccess系列13,104-111,仅电子版(2009年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人,OASIcs--OpenAccess服务器。通知。13、104--111(2009;Zbl 1247.68186) 全文: DOI程序