Results 201 to 210 of about 60,348 (227)

Stochastic Petri net semantics for stochastic process algebras

Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002
We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov ...
openaire   +2 more sources

FSPNs: Fluid stochastic Petri nets

1993
In 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.
Vidyadhar G. Kulkarni, Kishor S. Trivedi
openaire   +2 more sources

Introduction to Generalized Stochastic Petri Nets

2007
Generalized Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynamic Systems 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
openaire   +2 more sources

Saturation conditions for Stochastic Petri Nets

1993
We give a necessary condition and a sufficient one for the saturation of a Markovian Stochastic Petri Net. These conditions can be explicitly checked in practical situations. As a particular case, we show that our conditions are equivalent to the classical condition of saturation for Jackson Queuing Networks.
Raúl Gouet, Fernando Plo, M. San Miguel, B. Ycart   +3 more
openaire   +2 more sources

Stochastic Petri Nets

1996
BauseFalko, S KritzingerPieter
openaire   +3 more sources

Prediction of Soil Fertility Change Trend Using a Stochastic Petri Net

Journal of Signal Processing Systems, 2020
Xia Geng, Changsheng Zhu, Jijun Zhang, Zenggang Xiong   +3 more
semanticscholar   +1 more source

Stochastic Petri Nets with Changeable Layout

2017
Petri nets (PNs) are a central formalism for distributed systems. PNs, though, turn out to be inadequate to model changes in real systems’ layout. To cope with such a major issue, a framework based on Reisig’s algebraic nets has been recently proposed.
openaire   +2 more sources

A notion of equivalence for stochastic Petri nets

1995
Equivalence is a central concept for the qualitative analysis of dynamic systems. Several different notions of equivalence preserving qualitative properties of a system appeared in the literature on Petri nets (PNs). If apart from qualitative also quantitative aspects of a systems should be analysed, then there exists the class of stochastic Petri nets
openaire   +2 more sources

A Deterministic and Stochastic Petri Net Model for Traffic-Responsive Signaling Control in Urban Areas

IEEE transactions on intelligent transportation systems (Print), 2016
A. D. Febbraro, D. Giglio, N. Sacco
semanticscholar   +1 more source

High-Level Stochastic Petri Nets

1998
High-level Petri nets provide a more compact representation of complex DEDS’s, hence, they represent a natural choice for an alternative representation if the time concept can be embedded into them. Different types of high-level Petri nets (HLPN’s) have been proposed, for example, predicate/transition (Pr/T) nets [GL79, GL81, Gen90], colored Petri nets
openaire   +2 more sources