Time Petri Nets
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
Verification
Time Petri Nets
Tina
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.
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
Verification
Time Petri Nets
Tina
Lukasz Fronc, Silvano Dal Zilio, Bernard Berthomieu, François Vernadat
Research Report 14148, LAAS, may 2014.
Research Report 14148, LAAS, may 2014.
Real-Time Specification Patterns and Tools
Verification
Time Petri Nets
Patterns
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
In FMICS 2012 — 17th International Workshop on Formal Methods for Industrial Critical Systems, sep 2012.
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
Verification
Patterns
Time Petri Nets
Silvano Dal Zilio, Nouha Abid, Didier Le Botlan
Research Report 11365, LAAS, jun 2011.
Research Report 11365, LAAS, jun 2011.