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
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.
Real-Time Specification Patterns and Tools
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan In FMICS 2012 — 17th International Workshop on Formal Methods for Industrial Critical Systems, sep 2012.
Verification of Real-Time Specification Patterns on Time Transitions Systems
Silvano Dal Zilio, Nouha Abid, Didier Le Botlan Research Report 11365, LAAS, jun 2011.