克莱门斯，杜布拉夫;克里斯特尔·拜尔 通信场景的定量分析。 （英文） Zbl 1465.68194号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9268, 76-92 (2015).MSC公司：第68季度85 60J28型 64岁以下 68平方米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}和\textit{C.Baier}，莱克特。注释计算。科学。9268、76-92（2015年；Zbl 1465.68194） 全文： 内政部
德克·法兰德 Oclets–使用Petri网进行基于场景的建模。 （英文） Zbl 1242.68176号 Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学课堂讲稿5606223-242（2009）。MSC公司：第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Fahland}，莱克特。注释计算。科学。5606223--242（2009；Zbl 1242.68176） 全文： 内政部