Zuberek，沃齐米耶兹M。 约束d时间Petri网和通信协议的性能分析。 （英文） 兹比尔0605.60100 信息 24, 231-249 (1986). 结果表明，具有确定触发时间的约束自由选择Petri网的行为可以用概率状态图表示。对于有界Petri网，相应的状态图是有限的，因此可以通过用于马尔可夫链分析的标准技术获得平稳描述。这种模型的直接应用是异步并发进程系统的性能分析，特别是通信协议。Petri网的位置对消息队列进行建模，转换表示通信网络中的事件，约束弧用于指示同时事件的优先级，与自由选择类相关的概率对应于随机事件的相对频率。交替位协议被用作分析示例。 MSC公司： 60K99型 特殊过程 68平方米 计算机系统环境下的性能评估、排队和调度 60二氧化碳 组合概率 60K20码 马尔可夫更新过程的应用（可靠性、排队网络等） 关键词：Petri网;概率状态图;系统性能分析;随机事件的相对频率 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Zuberek}，信息24，231--249（1986；Zbl 0605.60100） 全文： 内政部