Scenario durations characterization of t-timed Petri nets using linear logic

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

Volumn , Issue , 1999, Pages 208-217

  Pradin Chezalviel, B ^a   Valette, R ^a   Kunzle, L A ^b  

^a LAAS CNRS   (France)

^b UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; LINEAR ALGEBRA; PETRI NETS; SAFE HANDLING;

CLASS GRAPHS; LINEAR LOGIC; NET STRUCTURES; NEW APPROACHES; REACHABILITY; SYMBOLIC EXPRESSION; TIMED PETRI NET;

COMPUTER CIRCUITS;

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

References (18)

1. B. Berthomieu, M. Diaz : Modeling and verification of time dependent systems using Time Petri nets, IEEE Trans. on Software Engineering 17, 1992, pp. 259-273.
2. C. Brown : Relating Petri Nets to Formulas of Linear Logic, Edinburgh Tech. Report ECS-LFCS-89-87, June, 1989.
3. J. Desel, T. Freytag, A. Oberweis, T. Zimmer : A partialorder- based simulation and validation approach for high-level Petri nets, Proceedings of IMACS'97 1997 p.361-366.
4. U. Engberg, G. Winskel : Petri nets as models of Linear Logic, CAAP'90, A. Arnold Ed., LNCS 431, Springer-Verlag, 1990, pp. 147-161.
5. V. Gehlot : A proof theoretic approach to semantics of concurrency, PhD thesis, University of Pennsylvania, 1992.
6. J.Y. Girard : Linear Logic, Theoretical Computer Science, no50, 1987.
7. F. Girault, B. Pradin-Chézalviel, R. Valette : A logic for Petri nets RAIRO-APII-JESA, Ed. Hermès, France, Vol 31, N 3, p.525-542, 1997.
8. F. Girault : Formalisation en logique linéaire du fonctionnement des réseaux de Petri, Thèse de Doctorat, Université Paul Sabatier, Toulouse, 1997.
9. C. Gunter, V. Gehlot : Nets as tensor theories, 10th Int. Conf. on Appli. and Theory of Petri nets, Bonn, Germany, 1989.
10. Y. Lafont : The Linear abstract machine, Theoretical Computer Science, no59, 1988, pp. 157-180.
11. M. Martí-Oliet and J. Meseguer : From Petri Nets to Linear Logic Through Categories: A Survey, Int. J. of Foundation of Computer Science, vol. 2, no2, 1991, pp. 297-399.
12. M. Menasche, B. Berthomieu : Time Petri nets for analysing and verifying time dependent protocols, Third international workshop on protocol specification, testing and verification, Zürich, June 1983
13. M. Menasche : PAREDE: an automated tool for the analysis of time Petri nets International workshop on timed Petri nets, Torino, July 1985, p. 162-169
14. P. Merlin, D.J. Farber : Recoverability of communication protocols; implementation of a theoretical study, IEEE Trans. on Comm., Vol COM-24, No 9, Sept. 1976, p.1036-1043
15. B. Pradin-Chézalviel, L.A. Künzle , F. Girault, R. Valette : Evaluation temporelle de scénario de réseaux de Petri incluant du parallélisme, CongrèsModélisation des Systèmes Réactifs, Cachan France, mars 1999, Ed. Hermès p.131-140.
16. C.V. Ramamoorthy, G.S. Ho : Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE trans. on Soft. Eng., Vol SE-6, n 5, p.440-449, Sept. 1990.
17. C. Ramchandani : Analysis of asynchronous concurrent systems by Petri nets, PhD Thesis, MIT, 1973.
18. M. Silva, R. Valette : Petri nets and Flexible Manufacturing, Advances in Petri nets 1989, LNCS 424, (1990), p.374-417.