具有多次随机触发的混合 Petri 网的状态空间构造
形式语言与自动机理论
2020-10-22 v1
摘要
混合 Petri 网已被扩展以包含在经过随机分布时间后触发的一般变迁。对于单个一般一次性变迁，其状态空间与随时间演化可表示为参数位置树或随机时间图。近期工作表明两种表示可结合并从而允许多次随机触发。本文给出一种构建具有多个一般变迁触发的参数位置树的算法，并展示如何利用多维积分计算其瞬态概率分布。我们讨论了采用区间算术与几何方法计算积分区域的（不）利之处。此外，我们提供关于如何直接在以上区间或凸多面体上、或变换为标准单纯形后执行蒙特卡洛积分的细节。基于电池备份系统的案例研究展示了该方法的可行性，并讨论了不同积分方法的性能。
引用
@article{arxiv.2010.11056,
title = {State-space construction of Hybrid Petri nets with multiple stochastic firings},
author = {Jannik Hüls and Carina Pilch and Patricia Schinke and Henner Niehaus and Joanna Delicaris and Anne Remke},
journal= {arXiv preprint arXiv:2010.11056},
year = {2020}
}
备注
36 pages, 9 figures, submitted to ACM Transactions on Modeling and Computer Simulation (TOMACS)