Comparison of Hybrid Systems and Fluid Stochastic Petri Nets
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets
复制标题
混合系统与流体随机 Petri 网的比较
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
K. Trivedi
中科院分区：
文献类型：
--
作者：
B. Tuffin;Dongyan Chen;K. Trivedi
混杂系统是一种数字和连续设备相互作用的模型，应用于飞机、计算机或现代汽车的控制，同时，流体随机Petri网（FSPN）作为随机Petri网的一种扩展，被引入到包含由离散逻辑控制的连续流体量的物理系统的建模中，并作为处理离散模型可能的状态爆炸的一种手段。当然，FSPN是一个混合系统的定义，但在本文中，我们比较了一般的混合系统形式主义与FSPN形式主义。本文的结论是，流体随机Petri网和混杂系统形式主义可以相互转化，并给出了一些例子。虽然这样的转换是有代价的，但转换可以将求解方法从一种转换到另一种，从而有助于两种形式主义的发展。
Hybrid Systems are modelsof interacting digital and continuous devices with applicationsin the control of aircraft, computers, or modern cars for instance.Concurrently, Fluid Stochastic Petri Nets (FSPNs) have been introducedas an extension of stochastic Petri nets to model physical systemsthat contain continuous fluid quantities controlled by discretelogic, as well as a means to deal with the possible state explosionof discrete models. Of course, an FSPN is by definition a hybridsystem but in this paper, we compare a general hybrid systemsformalism with FSPN formalism. The conclusion of this paper,suplemented by some examples, is that fluid stochastic Petrinets and hybrid system formalism can be converted from one tothe other. Although there is a price to pay for such a conversion,the conversion can transfer the solution methods from one tothe other and thus help the development of both formalisms.