泽维尔·阿拉米吉恩;维亚尼·伯夫;圣埃芬·高伯特 紧急呼叫中心的性能评估:应用于定时Petri网的热带多项式系统。 (英语) Zbl 1465.68191号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9268, 10-26 (2015).MSC公司:68问题85 76N25号 90立方厘米24 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,Lect。注释计算。科学。9268,10--26(2015;Zbl 1465.68191) 全文: 内政部 arXiv公司
何塞·安东尼奥·马特奥;吉·斯尔巴;瑟伦森,马蒂亚斯·格兰德 时间弧工作流网络的健全性。 (英语) Zbl 1334.90064号 Ciardo,Gianfranco(编辑)等人,Petri网和并发的应用和理论。第35届国际会议,PETRI NETS 2014,突尼斯突尼斯,2014年6月23日至27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-07733-8/pbk)。计算机科学课堂讲稿8489,51-70(2014)。MSC公司:90B70型 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Mateo}等人,Lect。注释计算。科学。8489、51-70(2014年;Zbl 1334.90064) 全文: 内政部