豪尔赫·Jülvez；斯蒂芬·奥利弗。 利用防护柔性网络对混合系统进行建模、分析和控制。 （英语） Zbl 1425.93146号 非线性分析。，混合系统。 32, 131-146 (2019).MSC公司：93立方 93A30型 93B40码 93个B03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Jülvez}和\textit{S.G.Oliver}，非线性分析。，混合系统。32131-146（2019年；Zbl 1425.93146） 全文： DOI程序 链接
哈桑·莫塔列比；穆罕默德·阿卜杜拉希·阿兹戈米 参数化多奇异混合Petri网：形式化定义和分析技术。 （英语） 兹比尔1309.68140 Inf.计算。 241, 321-348 (2015).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi}，Inf.Compute。241、321--348（2015；Zbl 1309.68140） 全文： DOI程序
哈桑·莫塔列比；穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合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） 全文： DOI程序
L.-M.特劳诺兹。；石灰，D。；O.H.罗克斯。 秒表Petri网的参数化模型检查。 （英语） Zbl 1217.68140号 加州大学洛杉矶分校 15，第17号，3273-3304（2009）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Traonouez}等人，J.UCS 15，No.17，3273--3304（2009；Zbl 1217.68140） 全文： 链接
莱姆，迪迪埃；奥利维尔·H·鲁克斯。 具有抢占式调度的实时系统的形式化验证。 （英语） Zbl 1185.68429号 实时系统。 41，第2期，第118-151页（2009年）.MSC公司：68问题65 68问题85 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}和\textit{O.H.Roux}，实时系统。41，第2号，118--151（2009；Zbl 1185.68429） 全文： DOI程序 哈尔
阿迪卜，阿拉哈姆；哈萨内·阿拉 后初始化和预初始化的秒表Petri网：形式语义和状态空间计算。 （英语） Zbl 1163.93358号 非线性分析。，混合系统。 2，第4期，1175-1186（2008）.MSC公司：93元65角 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Allahham}和\textit{H.Alla}，非线性分析。，混合系统。2，编号41175-1186（2008年；兹bl 1163.93358） 全文： DOI程序
路易斯·马里·特劳努埃兹；莱姆，迪迪埃；奥利维尔·H·鲁克斯。 使用状态类图对带有秒表的时间Petri网进行参数化模型检查。 （英语） Zbl 1171.68580号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215280-294（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.-M.Traonouez}等人，Lect。注释计算。科学。5215280-294（2008年；Zbl 1171.68580） 全文： DOI程序
哈尼法·布切内布 区间时间有色Petri网：保持线性性质的状态类空间的有效构造。 （英语） Zbl 1141.68045号 正式Asp。计算。 20，第2期，225-238（2008）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}，正式Asp。计算。20，第2225-238号（2008年；兹bl 1141.68045） 全文： DOI程序
哈尼法·布切内布；拉希德·哈吉吉 时间Petri网的CTL*模型检查。 （英语） Zbl 1088.68101号 西奥。计算。科学。 353，编号1-3，208-227（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{R.Hadjidj}，Theor。计算。科学。353，编号1-3208-227（2006年；兹bl 1088.68101） 全文： DOI程序
Ölveczky、Peter Csaba；何塞·梅塞盖尔 重写逻辑中实时和混合系统的规范。 （英语） Zbl 1001.68061号 西奥。计算。科学。 285，第2期，359-405（2002）.MSC公司：2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，Theor。计算。科学。285，第2号，359--405（2002；Zbl 1001.68061） 全文： DOI程序
购买，美国。；斯隆·R·H·。 使用PARTS工具集对反应系统进行自动实时分析。 （英语） Zbl 1021.68067号 自动化软件工程8，No.3-4，227-273（2001）。MSC公司：68问题85 68号01 PDF格式BibTeX公司 XML格式 全文： DOI程序
布鲁诺·塔芬；陈东生。；特里维迪，基索S。 混合系统和流体随机Petri网的比较。 （英语） Zbl 0973.93028号 离散事件动态。系统。 11，编号1-2，77-95（2001）. 审核人：Bernd Mathiszik（哈雷） MSC公司：93元65角 68问题85 93B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Tuffin}等人，离散事件动力学。系统。11，编号1--2，77-95（2001；Zbl 0973.93028） 全文： DOI程序
乔治·德尔扎诺；让-弗朗索瓦·拉斯金 向上闭集的符号表示。 （英语） Zbl 0961.68096号 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 426-440 (2000).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{J.-F.Raskin}，莱克特。注释计算。科学。1785426-440（2000年；Zbl 0961.68096）