Author: Kritzinger, Pieter S
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