Non equivalence between time Petri nets and time stream Petri nets

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 198-207

  Boyer, Marc ^a   Diaz, Michel ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

TIME PETRI NETS; TIMED AUTOMATA; TRANSITION PETRI NET;

PETRI NETS;

EID: 18144404254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1999.796566     Document Type: Conference Paper

References (16)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur and D. L. Dill. Automata for modeling real-time systms. In Proc. of ICALP'90, volume 443 of LNCS, pages 323-335, Warwick, England, 1990. Springer-Verlag.
3. B. Berthomieu and M. Diaz. Modeling and verification of time dependant systems using Time Petri Nets. IEEE Transactions on Software Engineering, 17(3):259-273, March 1991.
4. H. Boucheneb and G. Berthelot. Toward a simplified building of Time Petri Nets reachability graph. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models (PNPM93), pages 46-55, Toulouse, France, October 1993. SITEF and LAAS-CNRS, IEEE Computer Society Press.
5. A. Burgueño Arjona. Formalisation et vérification des systemes temps réels hybrides (in both french and english). PhD thesis, ENSAE, Toulouse, France, Juin 1998.
6. A. Cerone and A. Maggiolo-Schettini. Time-base expressivity of time petri nets for systemspecification. Theoretical Computer Science, 216(1-2):1-53, March 1999.
7. M. Diaz and P. Sénac. Time Stream Petri Nets: A model for timed multimedia information. In R. Valette, editor, Procedings of the 15th International Conference on Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Sciences, pages 219-238, Zaragosse, Spain, June 1994. Springer Verlag.
8. K. Khansa, J. Denat, and S. Collart-Dutilleul. P-Time petri nets for manufacturing systems. In Proc. of WODES'96, pages 94-102, Edimburgh, UK, 1996.
9. F. Larousisinie and K. G. Larsen. CMC: a tool for compositionale model-checking of real-time systems. In Proceedings of the Conference FORTE'98, pages 439-456, Paris, France, November 1998. IFIP, Kluwer Academic Publishers.
10. F. Laroussinie, K. G. Larsen, and W. Carsten. From timed automata to logic - and back. In Proc. 20th Int. Symp. Math. Found. Comp. Sci. (MFCS'95), volume 969 of LNCS, pages 529-539, Prague, Czech Republic, Aug.-Sep. 1995. Springer-Verlag.
11. T. Little and A. Ghafoor. Synchronisation and storage models for multimedia objects. IEEE Selected Areas on Communication, 8(3):413-427, March 1990.
12. P. Merlin. A study of the recoverability of computer system. PhD thesis, Dep. Comput. Sci., Univ. California, Irvine, 1974.
13. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
14. C. Ramchandani. Analysis of AsynchronousConcurrent Systems by Timed Petri Nets. PhD thesis, MIT, Feb 1974.
15. P. Sénac, M. Diaz, A. Léger, and P. de Saqui-Sannes. Modelling logical and temporal synchronization in hypermedia systems. IEEE Journal on Selected Areas in Communications, 14(1):84-103, Januar 1996.
16. Y. Wang. Real-time behaviour of asynchronous agents. In J. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR'90, volume 458 of Lecture Notes in Computer Science, pages 502-520, Amsterdam, The Netherlands, 27-30Aug. 1990. Springer-Verlag.