ACM Transactions on Computer Systems (TOCS)
Performance models of multiprocessor systems
Performance models of multiprocessor systems
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
IEEE Transactions on Software Engineering
Parallel simulation of stochastic Petri nets using recurrence equations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Free choice Petri nets
Mean-Value Analysis of Closed Multichain Queuing Networks
Journal of the ACM (JACM)
Computational algorithms for product form queueing networks
Communications of the ACM
Computational algorithms for closed queueing networks with exponential servers
Communications of the ACM
Quantitative Methods in Parallel Systems
Quantitative Methods in Parallel Systems
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Performance Bounds for Stochastic Timed Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Well-Formedness of Equal Conflict Systems
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
Discrete Event Dynamic Systems
COMAS: a cooperative multiagent architecture for spectrum sharing
EURASIP Journal on Wireless Communications and Networking
Flexible temporal consistency for fixed-time constraint verification in grid workflow systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
| Hi-index | 0.00 |
Stochastic timed Petri nets are a useful tool in performance analysis of concurrent systems such as parallel computers, communication networks, and flexible manufacturing systems. In general, performance measures of stochastic timed Petri nets are difficult to obtain for practical problems due to their sizes. In this paper, we provide a method to compute efficiently upper and lower bounds for the throughputs and mean token numbers for a large class of stochastic timed Petri nets. Our approach is based on uniformization technique and linear programming.