Similar Items: Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets
- Symbolic techniques for the performance analysis of generalised stochastic petri nets
- The complexity of Petri net transformations
- Enhanced Modelling and Analysis of Cyber‐Physical System Security Against DoS Attacks Using Generalised Stochastic Petri Nets
- A hybrid fuzzy Petri net-based approach incorporating extended grey numbers for eco-driving behaviour evaluation
- Concurrency control mechanisms for multidatabase systems
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
Author: Kritzinger, Pieter S
- The complexity of Petri net transformations
- A methodology for analyzing power consumption in wireless communication systems
- Modelling adaptive routing in Wide Area Networks
- Distributed analysis of Markov chains
- ROLAND : a tool for the realistic optimisation of local access network design
- Protocol engineering from Estelle specifications