3 citations · 6 across the 2 of their papers we have counts for
4 papers
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
Silvano Dal Zilio, Lukasz Fronc, Bernard Berthomieu +1
We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be dynamically updated. Our extension provides two mec…
Model Checking Contest @ Petri Nets, Report on the 2013 edition
Fabrice Kordon, Alban Linard, Marco Beccuti +14
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of…
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation
Łukasz Fronc
The starting point of this work is a framework allowing to model systems with dynamic process creation, equipped with a procedure to detect symmetric executions (ie., which differ…
Raw Report on the Model Checking Contest at Petri Nets 2012
F. Kordon, A. Linard, D. Buchs +11
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of…