Symmetry reduced state classes for time petri nets
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat In SAC 2015 — 30th Annual ACM Symposium on Applied Computing, apr 2015.
Tina
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu, François Vernadat In FORMATS 2014 — 12th International Conference on Formal Modeling and Analysis of Timed Systems, sep 2014.
Time Petri nets with dynamic firing dates: semantics and applications
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu, François Vernadat Research Report 14148, LAAS, may 2014.