Introduction to queueing networks
Introduction to queueing networks
Towards a synchrony theory for P/T nets
Concurrency and nets: advances in Petri nets
On the computation of structural synchronic invariants in P/T nets
Advances in Petri Nets 1988
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Approximate Mean Value Analysis for Stochastic Marked Graphs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance evaluation of non-Markovian stochastic event graphs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance analysis of concurrent systems with early evaluation
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
A general model for performance optimization of sequential systems
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Improving static variable orders via invariants
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Symbolic performance analysis of elastic systems
Proceedings of the International Conference on Computer-Aided Design
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
Discrete Event Dynamic Systems
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
Automatica (Journal of IFAC)
| Hi-index | 0.01 |
Ergodicity and throughput bound characterization are addressed for a subclass of timed and stochastic Petri nets, interleaving qualitative and quantitative theories. The nets considered represent an extension of the well-known subclass of marked graphs, defined as having a unique consistent firing count vector, independently of the stochastic interpretation of the net model. In particular, persistent and mono-T-semiflow net subclasses are considered. Upper and lower throughput bounds are computed using linear programming problems defined on the incidence matrix of the underlying net. The bounds proposed depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases). From a different perspective, the considered subclasses of synchronized queuing networks; thus, the proposed bounds can be applied to these networks.