纪尧姆·加迪;奥利维尔·H·鲁克斯。;Olivier F.鲁克斯。 时间Petri网的状态空间计算和分析。 （英文） Zbl 1104.68071号 理论与实践。日志。程序。 6，第3号，301-320（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Gardey}等人，《理论与实践》。日志。程序。6，第3号，301-320（2006；Zbl 1104.68071） 全文： 内政部
纪尧姆·加迪;奥利维尔·H·鲁克斯。;Olivier F.鲁克斯。 使用区域图方法计算时间Petri网的状态空间。 （英文） Zbl 1099.68669号 Larsen，Kim G.（编辑）等人，定时系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿2791246-259（2004）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Gardey}等人，Lect。注释计算。科学。2791246-259（2004年；兹bl 1099.68669） 全文： 内政部