Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools , pages =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
citing papers explorer
-
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
- Distributionally Robust Games via Coherent Risk Measures