TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets

Tanguy Dubois, Kim G. Larsen, Jiri Srba

Timed-Arc Petri net (TAPN) is a timed extension of the classical Petri net model where tokens have their age and input arcs are associated with time intervals restricting the ages…