A formal framework to specify and verify real-time properties on critical systems, International Journal of Critical Computer-Based Systems (IJCCBS), vol.5, issue.1, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00941248
,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.90010-90018, 1994. ,
Nivat's processes and their synchronization, Theor. Comput. Sci, vol.281, issue.1-2, pp.6-9, 2002. ,
Timed regular expressions, Journal of the ACM, vol.49, issue.2, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01699969
Diagnosability analysis of labeled time Petri net systems, IEEE Transactions on Automatic Control, vol.62, issue.3, 2017. ,
Modeling Heterogeneous Real-Time Components in BIP, Software Engineering and Formal Methods (SEFM), 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00375298
Comparison of the expressiveness of timed automata and time Petri nets, Formal Modeling and Analysis of Timed Systems (FORMATS), vol.3829, 2005. ,
Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. on Software Engineering, vol.17, issue.3, 1991. ,
An enumerative approach for analyzing time Petri nets, Proceedings IFIP, 1983. ,
Bridging the gap between timed automata and bounded time Petri nets, Formal Modeling and Analysis of Timed Systems (FORMATS), vol.4202, 2006. ,
,
Model checking bounded prioritized time Petri nets, Automated Technology for Verification and Analysis (ATVA), vol.4762, 2007. ,
,
The tool TINA-construction of abstract state spaces for Petri nets and time Petri nets, International Journal of Production Research, vol.42, issue.14, 2004. ,
State class constructions for branching analysis of Time Petri Nets, TACAS. LNCS, vol.2619, 2003. ,
,
Symmetry reduction for time Petri net state classes, Science of Computer Programming, vol.132, issue.2, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01561994
When are timed automata weakly timed bisimilar to time Petri nets?, Theoretical Computer Science, vol.403, issue.2-3, 2008. ,
Intersection of Regular Signal-Event (Timed) Languages. In: Formal Modeling and Analysis of Timed Systems (FORMATS) ,
, LNCS, 2006.
A new approach for diagnosability analysis of petri nets using verifier nets, IEEE Trans. Automat. Contr, vol.57, issue.12, 2012. ,
Discrete event diagnosis using Petri nets, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01479645
Structural translation from time Petri nets to timed automata, Journal of Systems and Software, vol.79, issue.10, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00363025
,
Formal verification of diagnosability via symbolic model checking, p.IJCAI, 2003. ,
TWINA: A realtime model-checker for analyzing Twin, 2019. ,
Romeo: a tool for analyzing time petri nets, Computer Aided Verification (CAV), 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00523596
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, Discrete Event Dynamic Systems, vol.27, issue.1, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01574475
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, 2001. ,
An automata-theoretic approach to branching-time model checking, Journal of the ACM (JACM), vol.47, issue.2, 2000. ,
A study of the recoverability of computing systems, 1974. ,
On the composition of time Petri nets, Discrete Event Dynamic Systems, vol.21, issue.3, 2011. ,
,
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, 1989. ,
Diagnosability of discrete-event systems, IEEE Transactions on automatic control, vol.40, issue.9, 1995. ,
Time constraint verification methods based on time Petri nets, Workshop on Future Trends of Distributed Computing Systems, 1997. ,
Fault diagnosis for timed automata, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), 2002. ,
,
Diagnosis of time Petri nets using fault diagnosis graph, IEEE Transactions on Automatic Control, vol.60, issue.9, 2015. ,
,