×

找到2个文档(结果1-2)

紧急呼叫中心的性能评估:应用于定时Petri网的热带多项式系统。 (英语) Zbl 1465.68191号

Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9268, 10-26 (2015).
PDF格式BibTeX公司 XML格式引用

时间弧工作流网络的健全性。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段

软件