×

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

基于广义随机Petri网的重试排队系统性能分析。 (英语) Zbl 1270.68051号

Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第6期,86-100(2002)。
MSC公司:68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用随机Petri网对基于多类阈值的滞后队列进行建模和分析。 (英语) Zbl 1047.68534号

Esparza,Javier(编辑)等人,《Petri网的应用和理论》,2002年。第23届国际会议,2002年ICATPN,澳大利亚阿德莱德,2002年6月24日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43787-8)。莱克特。注释计算。科学。2360, 254-272 (2002).
MSC公司:68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 链接

用于流程链建模和分析的ProC/B工具集。 (英语) Zbl 1047.68512号

Field,Tony(编辑)等人,《计算机性能评估》。建模技术和工具。2002年4月14日至17日,第12届国际会议,TOOLS 2002,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43539-5)。莱克特。注释计算。科学。2324, 51-70 (2002).
MSC公司:68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于随机Petri网模型的工作流系统性能等效分析。 (英语) Zbl 1015.68906号

韩燕波(编辑)等,《合作信息系统的工程和部署》。第一届国际会议,2002年EDCIS,中国北京,2002年9月17日至20日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2480, 64-79 (2002).
MSC公司:68单位99 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 链接

随机自动机网络的直接方法。 (英语) Zbl 1018.90005号

Chan,Raymond(编辑)等人,《应用概率》。中国香港中文大学数学科学研究所IMS研讨会论文集。普罗维登斯,RI:AMS,美国数学学会/IP,国际出版社。AMS/IP高级数学研究。26, 1-15 (2002).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前3名

主字段