M.格里鲍多。;塞雷诺,M。;A.Horváth。;A.鲍比奥。 带有冲出弧的流体随机Petri网:建模和分析。 (英语) 兹比尔0972.93040 离散事件动态。系统。 11,编号1-2,97-117(2001). 在过去的几年里,流体随机Petri网(FSPN)被引入了文献中。这些网络既有离散的地方,也有连续的地方。通常,这些模型比仅具有离散位置的经典Petri网更适合描述大型系统。在这里,作者提出了FSPN的扩展。它们引入了一个所谓的冲出弧,该弧将流体位置连接到定时过渡,在过渡关闭时会瞬间清空流体位置。这种新颖的原语使得可以将形式主义应用于连续数量的累积可以被抢占和重新启动的应用程序。新形式的潜在随机过程的动力学由一组积分-微分方程描述。作者展示了一种从模型规范推导所需方程的方法。通过各种实例说明了该理论的适用性。审核人:Bernd Mathiszik(哈雷) 引用于10文件 MSC公司: 93元65角 离散事件控制/观测系统 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 93A30型 系统数学建模(MSC2010) 93C23型 泛函微分方程控制/观测系统 94C15号机组 图论在电路和网络中的应用 关键词:随机报酬模型。Petri网;流体随机Petri网;性能分析;平弧;流动场所;积分微分方程 PDF格式BibTeX公司 XML格式引用 \textit{M.Gribaudo}等人,离散事件动态。系统。11,编号1--2,97-117(2001;Zbl 0972.93040) 全文: 内政部