Equivalence of timed state machines and safe TPN

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 119-124

  Haar, S ^a   Kaiser, L ^a   Simonot Lion, F ^b   Toussaint, J ^c  

^a CAMPUS DE BEAULIEU   (France)

^b LORIA   (France)

^c UNIVERSITÉ CLERMONT AUVERGNE   (France)

Author keywords

automatic model translation; Time Petri Nets; Timed Automata; verification

Indexed keywords

AUTOMATA THEORY; PETRI NETS; VERIFICATION;

AUTOMATIC MODELING; AUTOMATON MODEL; EXPLICIT CONSTRUCTIONS; REACHABILITY GRAPHS; STATE MACHINE; TIME PETRI NETS; TIMED AUTOMATA; ZERO TIME;

DISCRETE EVENT SIMULATION;

EID: 26444467115     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167678     Document Type: Conference Paper

References (18)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science 126:183-235, 1994.
2. B. Berthomieu, and M. Diaz.Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering 17(3):259-273, 1991.
3. B. Berthomieu and M. Menasche. An Enumerative Approach for analyzing time Petri nets. Proceedings IFIP 1983.
4. M. Boyer, M. Diaz. Non-Equivalence between Time Petri Nets and Time Stream Petri Nets. In: P. Buchholz and M. Silva (eds.), PNPM 1999:198-207, IEEE Comp. Soc.
5. M. Boyer and M. Diaz. Multiple enabledness of transitions in Petri nets with time. Proceedings PNPM'01:219-228.
6. A. Cerone and A. Maggiolo Schettini. Time-based expressivity of time Petri nets for system specification. Theoretical Computer Science 216:1-53, 1999.
7. L. Kaiser. XTIOSM: A tool for the automatic translation of TPN into TIOSM and vice versa. Internal Report, ENSEM, Vandoeuvre, France.
8. L. Kaiser. Une méthode de vérification d'intero-pérabilité temporelle. RENPAR 1997:207-210.
9. L. Kaiser and F. Simonot-Lion. Adaptive Timed Test for Temporal Interoperability Verification. Proceedings WFCS 2000, Porto, Sept. 2000.
10. L. Kaiser, F. Simonot-Lion, O. Koné. VerificationMethod of Interoperability for real time systems. Proceedings SICICA, Buenos Aires 2000.
11. O. Koné and R. Castanet. Conformance with Time Extensions. Technical report, Univ. de Bordeaux 1995.
12. R. Lanotte, A. Maggiolo Schettini, and A. Peron. Timed Cooperating Automata. Fundamenta Informaticae, 43:153-173, August 2000.
13. J. Lilius. A causal semantics for time Petri nets. Theoretical Computer Science 243:409-447, 2000.
14. H. Lin, W. Yi. Axiomatizing timed automata. Acta Informatica 38:277-305, 2002.
15. P.M. Merlin, D. J. Farber. Recoverability of Communication Protocols. IEEE Transactions on Communication, 24(9):36-103, 1976.
16. F. Simonot-Lion, L. Kaiser, R. dos Santos Marques. Méthode formelle de génération de séquences de tests temporis és. MSR 2001:291-306.
17. J. Toussaint, F. Simonot-Lion, and J. P. Thomesse. Time Constraint Verification Methods Based on Time Petri Nets. 4th Workshop on Future Trends in Distributed Computing Systems, Tunis 1997.
18. W. Yi. Real Time Behaviour of Asynchronous Agents. CONCUR 1990, LNCS 458:502-520.