×

带有冲出弧的流体随机Petri网:建模和分析。 (英语) 兹比尔0972.93040

在过去的几年里,流体随机Petri网(FSPN)被引入了文献中。这些网络既有离散的地方,也有连续的地方。通常,这些模型比仅具有离散位置的经典Petri网更适合描述大型系统。
在这里,作者提出了FSPN的扩展。它们引入了一个所谓的冲出弧,该弧将流体位置连接到定时过渡,在过渡关闭时会瞬间清空流体位置。这种新颖的原语使得可以将形式主义应用于连续数量的累积可以被抢占和重新启动的应用程序。新形式的潜在随机过程的动力学由一组积分-微分方程描述。作者展示了一种从模型规范推导所需方程的方法。通过各种实例说明了该理论的适用性。

MSC公司:

93元65角 离散事件控制/观测系统
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
93A30型 系统数学建模(MSC2010)
93C23型 泛函微分方程控制/观测系统
94C15号机组 图论在电路和网络中的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部