@InCollection{zbMATH05369281，作者={加尔比，纳维尔}，Title={关于随机{Petri网在分析具有不同休假策略的多服务器重试系统中的适用性}，BookTitle={用于验证和分析的自动化技术。第六届国际研讨会，2008年10月20日至23日，韩国首尔，ATVA 2008。诉讼}，ISBN＝{978-3-540-88386-9}，页码={289--302}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-88387-6_26}，关键词={68M10.68Q85}，zbMATH={5369281}，Zbl={1183.68040}}