11 citations · 33 across the 10 of their papers we have counts for
11 papers
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…
Methods for Efficient Unfolding of Colored Petri Nets
Alexander Bilgram, Peter G. Jensen, Thomas Pedersen +2
Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T ne…
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen +3
Storm water detention ponds are used to manage the discharge of rainfall runoff from urban areas to nearby streams. Their purpose is to reduce the hydraulic impact and sediment loa…
Stubborn Set Reduction for Two-Player Reachability Games
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel +2
This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex…
Language Emptiness of Continuous-Time Parametric Timed Automata
Nikola Beneš, Peter Bezděk, Kim G. Larsen +1
Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem…