杜宇月；李晓忠；曹德凡 通过同步合成Petri网来保持结构属性。 （中文。英文摘要） Zbl 1009.68094号 J.东南大学。 29，第5号，26-30（1999）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Du}等人，《东南大学学报》第29卷，第5期，第26-30页（1999年；Zbl 1009.68094）
塞巴斯蒂安·博尔诺；约瑟夫·西法基斯 紧急情况的代数框架。 （英文） Zbl 0945.68119号 Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。167-182 (1999).MSC公司：第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Bornot}和\textit{J.Sifakis}，北约ASI Ser。，序列号。F、 计算。系统。科学。167-182167-182（1999；Zbl 0945.68119）