流体随机Petri网的混杂自动机模型

Hybrid Automaton Model of Fluid Stochastic Petri Nets

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.

Testing the Fluid stochastic Petri nets（FSPN） by analyzing numerical values has its own shortages. In order to overcome those shortages, based on the formalization method and applying the hybrid automaton, an effective way to accomplish the analysis and test for the FSPN is proposed in this paper. Also the method of transforming from FSPN to first-order hybrid Petri nets is presented. And according to the interactions between those incidents changing the invariant behaviors status, a correct algorithm for the behavior evolution of the first-order hybrid Petri nets is put forward. Based on this,the method of building up hybrid automaton model of FSPN is given. Example shows that the analysis and test for the FSPN model can effectively be accomplished by applying the hybrid automaton and the behavior evolution of the first-order hybrid Petri nets.