Filters








78 Hits in 2.0 sec

Discrete-event simulation of fluid stochastic Petri nets

G. Ciardo, D.M. Nicol, K.S. Trivedi
1999 IEEE Transactions on Software Engineering  
The purpose of this paper is to describe a method for the simulation of the recently introduced fluid stochastic Petri nets.  ...  Since such nets result in rather complex system of partial differential equations, numerical solution becomes a formidable task.  ...  transitions, as in the Generalized Stochastic Petri Nets GSPNs [3] .  ... 
doi:10.1109/32.761446 fatcat:kf3gomxmszglngqjrh6xy7tiom

Behavioural equivalences for fluid stochastic Petri nets [article]

Igor V. Tarasyuk, Peter Buchholz
2017 arXiv   pre-print
We propose fluid equivalences to compare and reduce behaviour of labeled fluid stochastic Petri nets (LFSPNs) while preserving their discrete and continuous properties.  ...  We consider the LFSPNs whose continuous markings have no influence to the discrete ones and whose discrete part is continuous time stochastic Petri nets.  ...  continuous time stochastic Petri net Markov chain GSPN generalized stochastic Petri net SMC semi-Markov chain FSPN fluid stochastic Petri net Fluid models LFSPN labeled fluid stochastic Petri  ... 
arXiv:1706.02641v1 fatcat:z6bplqkbsbgdrnwk3mzpw3erge

Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks [chapter]

Pece Mitrevski, Zoran Kotevski
2012 Petri Nets - Manufacturing and Computer Science  
Recently, the concept of fluid models was used in the context of Stochastic Petri Nets, referred to as Fluid Stochastic Petri Nets (FSPNs) [2] [3] [4] [5] [6] .  ...  The proposed analytical model is based on recently introduced Fluid Stochastic Petri Nets (FSPNs).  ... 
doi:10.5772/50615 fatcat:zfhz3npcafalzdmjhj6evv7m5m

Efficient steady-state analysis of second-order fluid stochastic Petri nets

M. Gribaudo, R. Gaeta
2006 Performance evaluation (Print)  
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (FSPN) with constant flow  ...  and transition rates, and a single fluid place.  ...  Stochastic Petri Nets Fluid Stochastic Petri Nets (FSPN) were introduced by K.  ... 
doi:10.1016/j.peva.2005.11.002 fatcat:fatgqa3ypfbrldrw3qj5sv4oay

Compositional fluid stochastic Petri net model for operational software system performance

A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, M. Telek
2008 2008 IEEE International Conference on Software Reliability Engineering Workshops (ISSRE Wksp)  
The proposed unified model is described as a fluid stochastic Petri net (FSPN). The FSPN formalism offers a descriptive language that allows a compact and precise description of the model behavior.  ...  The proposed modeling language is that of Fluid Stochastic Petri Nets (FSPN) [10] , [8] , since FSPNs combine discrete and continuous random variables in the same formalism.  ...  Capital T indicates stochastically timed transitions with failure rate F (•) that can be function of the time, of the number of tokens in some discrete place as well as the value of some fluid level x.  ... 
doi:10.1109/issrew.2008.5355517 dblp:conf/issre/BobbioGGHST08 fatcat:drcai7x4srhp5iy4y566ltwi4i

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

Peter Buchholz, Tugrul Dayar
2018 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)  
Fluid Stochastic Petri Nets (FSPNs) which have discrete and continuous places are an established model class to describe and analyze several dependability problems for computer systems, software architectures  ...  This contribution introduces a class of FSPNs with a compositional structure and shows how the underlying stochastic process can be described by a set of coupled partial differential equations.  ...  COMPOSITIONAL FLUID STOCHASTIC PETRI NETS We consider Fluid Stochastic Petri Nets (FSPNs) similar to the classes that have been defined in [8] , [15] , [16] , [18] .  ... 
doi:10.1109/dsn.2018.00039 dblp:conf/dsn/BuchholzD18 fatcat:bfc7g4srznhlrhl5zncx3b6lee

Fluid stochastic Petri nets augmented with flush-out arcs: a transient analysis technique

M. Gribaudo, A. Horvath
2002 IEEE Transactions on Software Engineering  
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold  ...  a positive amount of fluid, represented by a real number.  ...  Introduction Fluid Stochastic Petri Nets (FSPN) or Hybrid Petri Nets (HPN) are Petri net based models in which some places may hold a discrete number of tokens, and some places a continuous quantity represented  ... 
doi:10.1109/tse.2002.1041051 fatcat:wh2hvx3jvzgwvepepzlhfmi6hi

Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications

R. Gaeta, M. Gribaudo, D. Manini, M. Sereno
2005 Electronical Notes in Theoretical Computer Science  
This paper presents an application of the Fluid Stochastic Petri Net (FSPN) formalism for the analysis of the transfer time distribution in peer-to-peer (P2P) file sharing applications.  ...  We develop a hybrid modeling technique based on the combined use of Fluid Stochastic Petri Nets (FSPN) [12, 24] and combinatorial analysis.  ...  The Fluid Stochastic Petri Net Formalism Stochastic fluid models are a class of analytic models that have recently drawn the attention of many researchers for the performance evaluation of complex communication  ... 
doi:10.1016/j.entcs.2005.01.014 fatcat:p3xqwn6kmncknmdt2zxgfv7se4

A Novel Colored Fluid Stochastic Petri Net Simulation Model for Reliability Evaluation of Wind/PV/Diesel Small Isolated Power Systems

Yiannis A. Katsigiannis, Pavlos S. Georgilakis, George J. Tsinarakis
2010 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
stochastic Petri nets (FSPNs).  ...  The proposed methodology presents two major novelties in FSPN modeling, namely: 1) the introduction of a new kind of Petri net arc, called the database arc, which makes possible the direct import of real  ...  To enhance the application of PNs in the field of continuous systems, several extensions and variations were introduced, with most important hybrid PNs [10] , [11] and fluid stochastic Petri nets (FSPNs  ... 
doi:10.1109/tsmca.2010.2052607 fatcat:dcjvimyeebbqhcwdx4e3ddtoii

A Simple FSPN Model of P2P Live Video Streaming System

Zoran Kotevski, Pece Mitrevski
2011 Journal of Computing and Information Technology  
Inspired by several related articles, in this paper we present our Fluid Stochastic Petri Net (FSPN) model for performance analysis of a mesh based P2P live video streaming system.  ...  We base our idea on [18] and propose our modeling approach with Fluid Stochastic Petri Nets [28] , [29] . We also introduce several extensions to [18] .  ...  [22] proposed a stochastic fluid model for analysis of scalable file sharing systems.  ... 
doi:10.2498/cit.1002031 fatcat:3gmpvw67i5gpdmrafpmbhfzoga

Bisimulation for fluid stochastic Petri nets *

Bull, Nov
2015 Comp. Center, Comp. Science   unpublished
We propose a novel notion of fluid bisimulation equivalence that allows one to compare and reduce the behavior of labeled fluid stochastic Petri nets (LF-SPNs) while preserving their discrete and continuous  ...  The performance analysis of the continuous part of the LFSPNs is accomplished via the associated stochastic fluid models.  ...  time stochastic Petri net Markov chain GSPN generalized stochastic Petri net SMC semi-Markov chain FSPN fluid stochastic Petri net Fluid models LFSPN labeled fluid stochastic Petri net SFM  ... 
fatcat:gvzyyhlvqrcezlkb6x5ydawcam

Discrete-event simulation of fluid stochastic Petri nets

G. Ciardo, D. Nicol, K.S. Trivedi
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models  
The purpose of this paper is to describe a method for simulation of recently introduced fluid stochastic Petri nets.  ...  Since such nets result in rather complex set of partial differential equations, numerical solution becomes a formidable task.  ...  Conclusion In this paper we extended the power of recently introduced fluid stochastic Petri nets.  ... 
doi:10.1109/pnpm.1997.595553 dblp:conf/pnpm/CiardoNT97 fatcat:24gcuzjxhvat5hbvq67foimroe

Fluid stochastic Petri nets augmented with flush-out arcs: a transient analysis technique

M. Gribaudo, A. Horvath
Proceedings 9th International Workshop on Petri Nets and Performance Models  
Fluid (or Hybrid) Petri Nets are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount  ...  With respect to previous formulations, the FSPN model presented in this paper, is augmented with a new primitive, called flush-out arc.  ...  Introduction Fluid Stochastic Petri Nets (FSPN) or Hybrid Petri Nets (HPN) are Petri net based models, in which some places may hold a discrete number of tokens, and some places a continuous quantity represented  ... 
doi:10.1109/pnpm.2001.953364 dblp:conf/pnpm/GribaudoH01 fatcat:zpoutrpsqjewhdtema7xdviore

Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems:a comparative case study

A. Heindl, E.W. Biersack
10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.  
We compare discrete-state stochastic Petri nets (SPNs) and fluid stochastic Petri nets (FSPNs) with a mixed discrete-continuous state space in their application to openloop video broadcasting systems.  ...  While the FSPN model has advantages in model specification and evaluation efficiency, all presented models excel in their flexibility -both in defining various performance measures and in their extensibility  ...  In the realm of stochastic Petri nets, such a hybrid system may be modeled as hybrid Petri net [6] or a Fluid Stochastic Petri Net (FSPN, [16] ).  ... 
doi:10.1109/pnpm.2003.1231541 dblp:conf/pnpm/HeindlB03 fatcat:ti4hbytnszarpnb3lkk6atue3e

СИБИРСКИЕ ЭЛЕКТРОННЫЕ МАТЕМАТИЧЕСКИЕ ИЗВЕСТИЯ EQUIVALENCES FOR FLUID STOCHASTIC PETRI NETS

I Tarasyuk, P Buchholz
2017 unpublished
., Equivalences for fluid stochastic Petri nets. 317 318 I.V. TARASYUK, P.  ...  BUCHHOLZ Keywords: labeled fluid stochastic Petri net, continuous time stochastic Petri net, continuous time Markov chain, stochastic fluid model, transient and stationary behaviour, buffer empty probability  ...  One of the extensions are fluid stochastic Petri nets (FSPNs), capable of modeling hybrid systems that combine continuous state variables, corresponding to the fluid levels, with discrete state variables  ... 
fatcat:5kguoqmrfnasbflpza3f77nafy
« Previous Showing results 1 — 15 out of 78 results