×

具有时间和立即转换的随机Petri网。 (英语) Zbl 0686.60100号

摘要:具有定时和即时转换的随机Petri网允许表示并发、同步和通信,并为离散事件模拟提供了一个通用框架。随机Petri网标记过程的形式化定义是用一般状态空间马尔可夫链来描述连续标记变化时期的网络。
我们得到了具有有限时间标记集的不可约标记过程的一个极限定理。此外,我们还提供了随机Petri网构造块的条件,在该构造块下,标记过程是具有有限循环长度矩的连续时间再生过程。这些结果为随机Petri网环境下的仿真分析建立了再生方法。

MSC公司:

60公里30 排队理论的应用(拥塞、分配、存储、流量等)
60K20码 马尔可夫更新过程的应用(可靠性、排队网络等)
65二氧化碳 蒙特卡罗方法
PDF格式BibTeX公司 XML格式引用
全文: 内政部