哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 参数化多奇异混合Petri网:形式化定义和分析技术。 (英语) Zbl 1309.68140号 Inf.计算。 241, 321-348 (2015).MSC公司:第68季度85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Inf.Compute。241321-348(2015年;兹比尔1309.68140) 全文: 内政部
莱姆,迪迪埃;克劳德·马丁内斯;奥利维尔·H·鲁克斯。 时间Petri网的收缩。 (英语) Zbl 1273.93112号 离散事件动态。系统。 23,第4期,419-438(2013).MSC公司:93立方65 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}等人,离散事件动态。系统。23,第4号,419--438(2013;Zbl 1273.93112) 全文: 内政部
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 (英语) Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司:第68季度85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Theor。计算。科学。446、48--74(2012;Zbl 1262.68139) 全文: 内政部
范希、基斯;奥利维娅·奥内亚;纳塔利亚·西多罗娃;马克·沃霍夫 验证工作流网络的通用可靠性。 (英语) Zbl 1185.68452号 Virbitskaite,Irina(编辑)等人,《系统信息学的观点》。2006年6月27日至30日,俄罗斯新西伯利亚,第六届安德烈·埃尔肖夫国际纪念大会,PSI 2006。修订论文。柏林:施普林格出版社(ISBN 978-3-540-70880-3/pbk)。计算机科学课堂讲稿4378,235-247(2007)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.van Hee}等人,Lect。注释计算。科学。4378,235--247(2007;Zbl 1185.68452) 全文: 内政部