Results 161 to 170 of about 826,508 (206)
Some of the next articles are maybe not open access.
History-Dependent Stochastic Petri Nets
2010Stochastic Petri Nets are a useful and well-known tool for performance analysis. However, an implicit assumption in the different types of Stochastic Petri Nets is the Markov property. It is assumed that a choice in the Petri net only depends on the current state and not on earlier choices.
Helen Schonenberg +3 more
openaire +3 more sources
Eigenvalue bounds of a stochastic Petri net
Proceedings of 1995 IEEE International Conference on Robotics and Automation, 2002Stochastic Petri nets are strong tools to model discrete event dynamic systems. To describe the transient properties of the system, it is necessary to find the eigenvalues of the underlying Markov process. However, the state explosion problem, the stiffness problem appearing in many applications, and the intrinsic numerical instability hinder us from ...
Jongwook Kim, Alan A. Desrochers
openaire +2 more sources
The fluid stochastic Petri net simulator
Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002A Fluid Stochastic Petri Net (FSPN) extends a normal Petri net with the notion of fluid places, and fluid arcs. Fluid levels are continuous, and may be used to approximate the presence of many discrete tokens. We describe an FSPN simulation tool whose input description extends the syntax of the widely used tool spnp.
David M. Nicol, Andrew S. Miner
openaire +2 more sources
Well-defined stochastic Petri nets
Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 2002Formalism based on stochastic Petri nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection of conflicts and confusions at the net level, but this might require to overspecify a given SPN model. The problem becomes even more critical when reward processes of interest
Gianfranco Ciardo, Robert Zijal
openaire +2 more sources
Introduction to Stochastic Petri Nets
2001Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from ...
openaire +3 more sources
Analysis of deterministic and stochastic Petri nets
Proceedings of 5th International Workshop on Petri Nets and Performance Models, 2002A time and space efficient algorithm for computing steady state solutions of deterministic and stochastic Petri nets (DSPNs) with both stochastic and structural extensions is presented. The algorithm can deal with different execution policies associated with deterministic transitions of a DSPN.
Gianfranco Ciardo, Christoph Lindemann
openaire +1 more source
SPNP: stochastic Petri net package
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89, 2003SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented. Advanced constructs are available in SPNP such as marking-dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; the full expressive power of the C programming language is also available to increase the flexibility ...
Gianfranco Ciardo +2 more
openaire +2 more sources
Perturbation analysis of stochastic Petri nets
IEEE Transactions on Automatic Control, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
FSPNs: Fluid stochastic Petri nets
1993In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. After defining the class of fluid stochastic Petri nets, we provide equations for their transient and steady-state behavior. We give two application examples.
Kishor S. Trivedi, Vidyadhar G. Kulkarni
openaire +1 more source
Embedded processes in stochastic Petri nets
IEEE Transactions on Software Engineering, 1991Embedded discrete time processes are used to study a class of SPNs (stochastic Petri nets) which have a closed-form equilibrium distribution. These SPNs have probabilistic output bags, colored tokens, and alternating periods of arbitrarily distributing enabling and firing times (periods of time between transitions becoming enabled and absorption of ...
William Henderson, Peter G. Taylor
openaire +1 more source