Defines the first stochastic semantics for TAPNs and implements SMC algorithms in TAPAAL, with a proof of well-behaved semantics and case-study demonstrations.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Proposes an annotation language, program-structure invariants, and SMT solvers to partially automate verification condition proving for Reflex programs in process-oriented control systems.
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.