哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合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） 全文： 内政部
阿莱西奥·洛穆西奥;沃伊切赫，彭泽克;莫妮卡·索拉基;马西耶·斯兹雷特 合同管理web服务的运行时监控。 （英语） Zbl 1234.68028号 芬达姆。通知。 111，第3期，339-355（2011）.MSC公司：68英里11 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人，Fundam。通知。111，第3号，339--355（2011；Zbl 1234.68028） 全文： 链接
贝拉德，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68029号 西奥。计算。科学。 403，编号2-3，202-220（2008）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。403，编号2--3，202-220（2008；Zbl 1158.68029） 全文： 内政部
阿加塔·雅诺夫斯卡;Pawe Janowskił 离散数据的时间自动机切片。 （英语） Zbl 1097.68061号 芬达姆。通知。 72，编号1-3，181-195（2006）.MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}和\textit{P.Janowski}，Fundam。通知。72，编号1--3，181--195（2006；Zbl 1097.68061）
沃伊切赫，彭泽克;阿加塔·波罗拉 时间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） 全文： 内政部
马里耶·斯托林加 fireWire的乐趣：对应用于IEEE 1394根竞争协议的形式化验证方法的比较研究。 （英语） Zbl 1029.68022号 正式Asp。计算。 14，第328-337号（2002年）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Stoelinga}，正式Asp。计算。14，第3号，328--337（2002；Zbl 1029.68022） 全文： 内政部
维克托·舒潘;阿明·比尔 使用SMV验证IEEE 1394 fireWire树标识协议。 （英语） Zbl 1029.68021号 正式Asp。计算。 14，第3期，267-280（2002）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan}和\textit{A.Biere}，正式Asp。计算。14，第3号，267--280（2002；Zbl 1029.68021） 全文： 内政部
萨维·马哈拉吉;朱迪·罗米恩;卡隆·桑德兰 IEEE 1394树识别协议：案例研究简介。 （英语） Zbl 1029.68018号 正式Asp。计算。 14，第3期，200-214（2002）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Maharaj}等人，正式Asp。计算。14，第3号，200--214（2002；Zbl 1029.68018） 全文： 内政部 链接