Timed Petri Nets and BQOs, ICATPN'01, pp.53-72, 2001. ,
DOI : 10.1007/3-540-45740-2_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.7492
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
A causal semantics for time Petri nets, Theoretical Computer Science, vol.243, issue.1-2, pp.409-447, 2000. ,
DOI : 10.1016/S0304-3975(99)00114-0
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004. ,
DOI : 10.1137/0216062
Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991. ,
DOI : 10.1109/32.75415
An enumerative approach for analyzing time Petri nets, Information Processing, pp.41-46, 1983. ,
State Class Constructions for Branching Analysis of Time Petri Nets, TACAS'2003, pp.442-457, 2003. ,
DOI : 10.1007/3-540-36577-X_33
Modeling Urgency in Timed Systems, COMPOS'97, pp.103-129, 1998. ,
DOI : 10.1007/3-540-49213-5_5
Peng Verification of Embedded Systems using a Petri Net based Representation, 13th International Symposium on System Synthesis (ISSS'2000), pp.149-155, 2000. ,
Untameable Timed Automata!, STACS'2003, pp.620-631, 2003. ,
DOI : 10.1007/3-540-36494-3_54
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.7945
Are timed automata updatable?, LNCS, vol.1855, pp.464-479, 2000. ,
DOI : 10.1007/10722167_35
URL : https://hal.archives-ouvertes.fr/hal-00350488
Structural Translation of Time Petri Nets into Timed Automata, Workshop on Automated Verification of Critical Systems (AVoCS'04), Electronic Notes in Computer Science, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00368582
Decidability of properties of timed-arc Petri nets, ICATPN'00, pp.187-206, 2000. ,
Time Stream Petri Nets a model for timed multimedia information, ATPN'94, pp.219-238, 1994. ,
DOI : 10.1007/3-540-58152-9_13
Roméo: A tool for Time Petri Nets Analysis, The 17th International Conference on Computer Aided Verification (CAV'05), pp.418-423, 2005. ,
Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994. ,
DOI : 10.1109/LICS.1992.185551
P-Time Petri Nets for manufacturing systems, WODES'96, pp.94-102, 1996. ,
CMC: A Tool for Compositional Model-Checking of Real-Time Systems, FORTE-PSTV'98, pp.439-456, 1998. ,
DOI : 10.1007/978-0-387-35394-4_27
Efficient State Space Search for Time Petri Nets, Electronic Notes in Theoretical Computer Science, vol.18, 1999. ,
DOI : 10.1016/S1571-0661(05)80254-3
State class timed automaton of a time Petri net, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings., 2003. ,
DOI : 10.1109/PNPM.2003.1231549
URL : https://hal.archives-ouvertes.fr/hal-00523588
A study of the recoverability of computing systems, 1974. ,
Time Petri Nets: A Primer Introduction. Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, 1999. ,
On time Petri nets, Journal Information Processing and Cybernetics, EIK, vol.27, issue.4, pp.227-244, 1991. ,
Analysis of asynchronous concurrent systems by timed Petri nets, 1974. ,
Sur la synthèse de la commande des systèmessystèmes`systèmesàsystèmesàévènements discrets temporisés, INPG, 2001. ,
Performance evaluation of systems using nets, Net Theory and Applications, Advanced Course on General Net Theory of Processes and Systems, pp.307-319, 1980. ,
DOI : 10.1007/3-540-10001-6_30
Compositional specification of timed systems, STACS'96, pp.347-359, 1996. ,
DOI : 10.1007/3-540-60922-9_29
Timed Diagnostics for Reachability Properties, TACAS'99), pp.59-73, 1999. ,
DOI : 10.1007/3-540-49059-0_5
KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997. ,
DOI : 10.1007/s100090050009