Decidability results in First–Order Hybrid PetriNets
Discrete Event Dynamic Systems
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis
Discrete Event Dynamic Systems
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
IEEE Transactions on Software Engineering
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Fluid models in performance analysis
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
| Hi-index | 0.00 |
A Fluid Stochastic Petri Net (FSPN) formalism, where there are two kind of places, one which carries discrete tokens and the other which contains continuous quantity, is presented and discussed. In the proposed formulation, a new primitive is introduced, called flush-out arc. A flushout arc connects a transition to a continuous place and has the effect of instantaneously empty the place when the transition fires. With this extension, FSPNs can be viewed as a graphical formalism to represent stochastic models with reward rates that can be dependent on the discrete as well as the continuous component of the state space descriptor.First the model is formally introduced and the integro differential equations representing the dynamic of the system are fully derived in the case of a single continuous place. However, the goal of the paper is to propose a first step towards the automatic solution of a general FSPN model starting from its graphical description. Furthermore, in order to illustrate the potentiality of the approach, we show that the proposed formalism suited to convert a non-Markovian SPN, of the type considered up to now in the literature, into a FSPN. Since, however, the FSPN formalism is more general and flexible, various modeling extensions, not conceivable in the non-Markovian SPN setting, are investigated.