Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 6, 2002, Pages 16-46

  Boyer, Marc ^a  

^a UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; FINITE AUTOMATA; MATHEMATICAL MODELS; SEMANTICS; SYNCHRONIZATION;

TIME INTERVALS; TIMED SYNCHRONIZATION; TOKEN ARRIVAL; TRANSLATIONS;

PETRI NETS;

EID: 18944379940     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80467-5     Document Type: Conference Paper

References (14)

1. Rajeev Alur, David Dill L. A theory of timed automata. Theoretical Computer Science. 126:1994;183-235
2. J. Ayars, D. Bulterman, A. Cohen, K. Day, E. Hodge, P. Hoschka, E. Hyche, M. Jourdan, M. Kim, K. Kenichi, R. Lanphier, N. Layada, T. Michel, D. Newman, J. van Ossenbruggen, L. Rutledge, B. Saccocio, P. Schmitz, and W. ten Kate. Synchronized multimedia integration language (SMIL) 2.0 specification. REC smil-20010731, World Wide Web Consortium, June 2001. http://www.w3.org/TR/ smil20/.
3. Bernard Berthomieu, Michel Diaz. Modeling and verification of time dependant systems using Time Petri Nets. IEEE Transactions on Software Engineering. 17:(3):March 1991;259-273
4. Berthomieu Bernard, Menasche. Une approche par énumération pour l'analyse des réseaux de Petri temporels. Actes de la conférence IFIP'83. 1983;71-77
5. Marc Boyer. Translation from timed petri nets with interval on transitions to interval on places (with urgency). Technical report, LIAFA - Univ. Paris 7 - Paris, November 2001. Available at http://verif.liafa.jussieu. fr/~boyer.
6. Marc Boyer and Michel Diaz. Non equivalence between time Petri nets and time stream Petri nets. In Peter Bucholz and Manuel Silva, editors, Proceedings of 9th IEEE International Workshop on Petri Nets and Performance Modeling (PNPM'99), pages 198-207, Zaragoza, Spain, September 1999. IEEE Computer Society.
7. Marc Boyer and François Vernadat. Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic. Technical Report 00146, LAAS/CNRS, Toulouse, France, March 2000. Submitted to TCS.
8. Antonio Cerone, Andrea Maggiolo-Schettini. Time-base expressivity of time Petri nets for system specification. Theoretical Computer Science. 216:(1-2):March 1999;1-53
9. Wael Khansa, J.P. Denat, and S. Collart-Dutilleul. P-Time Petri nets for manufacturing systems. In Proc. of WODES'96, pages 94-102, Edimburgh, UK, 1996.
10. P. Merlin. A study of the recoverability of computer system. PhD thesis, Dep. Comput. Sci., Univ. California, Irvine, 1974.
11. Chander Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, MIT, Cambridge, Feb 1974.
12. Sénac Patrick, Diaz Michel, Léger Alain, de Saqui-Sannes Pierre. Modelling logical and temporal synchronization in hypermedia systems. IEEE Journal on Selected Areas in Communications. 14:(1):Januar 1996;84-103
13. Sifakis J. Use of Petri nets for performance evaluation. Beilner E., Gelenbe E. Measuring Modeling and Evaluating Computer Systems. 1977;75-93 North-Holland
14. B. Walter. Timed net for modeling and analysing protocols with time. In Proceedings of the IFIP Conference on Protocol Specification Testing and Verification, North Holland, 1983.