Comparison of different semantics for time Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3707 LNCS, Issue , 2005, Pages 293-307

  Berard B ^a   Cassez, F ^b   Haddad, S ^a   Lime, Didier ^c   Roux, O H ^b  

^a Centre National de la Recherche Scientifique   (France)

^b INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^c CISS   (Denmark)

Author keywords

Expressiveness; Time Petri Nets; Timed Bisimilariy

Indexed keywords

COMPUTER SCIENCE; DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS; PETRI NETS;

EXPRESSIVENESS; TIME PETRI NETS; TIMED BISIMILARIY;

SEMANTICS;

EID: 33646190321     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11562948_23     Document Type: Conference Paper

References (17)

1. P. A. Abdulla and A. Nylén. Timed Petri nets and BQOs. In ICATPN'01, volume 2075 of LNCS, pages 53-72. Springer-Verlag, June 2001.
2. M. Ajrnone Marsan and G. Balbo and G. Conte and S. Donatelli and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, John Wiley and Sons, 1994, ISBN: 0-471-93059-8.
3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science B, 126:183-235, 1994.
4. T. Aura and J. Lilius. A causal semantics for time Petri nets. Theoretical Computer Science, 243(1-2):409-447, 2000.
5. 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, March 1991.
6. Bernard Berthomieu and Pierre-Olivier Ribet and François Vernadat. The tool TINA - Construction of Abstract State Spaces for Petri Nets and Time Petri Nets International Journal of Production Research, Vol.42, No14, pp.2741-2756, 2004.
7. B. Berthomieu and F. Vernadat. State class constructions for branching analysis of time Petri nets. In TACAS'2003, volume 2619 of LNCS, pages 442-457, 2003.
8. Franck Cassez and Olivier H. Roux. Structural Translation of Time Petri Nets into Timed Automata. In Michael Huth, editor, Workshop on Automated Verification of Critical Systems (AVoCS'04), Electronic Notes in Computer Science. Elsevier, August 2004.
9. D. de Frutos Escrig, V. Valero Ruiz, and O. Marroquín Alonso. Decidability of properties of timed-arc Petri nets. In ICATPN'00, Aarhus, Denmark, volume 1825 of LNCS, pages 187-206, June 2000.
10. M. Diaz and P. Senac. Time stream Petri nets: a model for timed multimedia information. In ATPN'94, volume 815 of LNCS, pages 219-238, 1994.
11. G. Gardey, D. Lime, and O. (H.) Roux. ROMÉO: A tool for Time Petri Nets Analysis, 2003. The tool can be freely downloaded from www.irccyn.ec-nantes.fr/irccyn/d/fr/equipes/TempsReel/logs.
12. W. Khansa, J.P. Denat, and S. Collart-Dutilleul. P-Time Petri Nets for manufacturing systems. In WODES'96, Scotland, pages 94-102, 1996.
13. J. Lilius. Efficient state space search for time Petri nets. Electronic Notes in Theoretical Computer Science, volume 18, 1999.
14. D. Lime and O. H. Roux. State class timed automaton of a time Petri net. In PNPM'03. IEEE Computer Society, September 2003.
15. P. M. Merlin. A study of the recoverability of computing systems. PhD thesis, University of California, Irvine, CA, 1974.
16. L. Popova. On time Petri nets. Journal Information Processing and Cybernetics, EIK, 27(4):227-244, 1991.
17. C. Ramchandani. Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 1974.