A logic for Petri nets

Journal Europeen des Systemes Automatises

Volumn 31, Issue 3, 1997, Pages 525-542

  Girault, François ^a   Pradier Chézalviel, Brigitte ^a,b   Valette, Robert ^a  

^a LAAS CNRS   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Linear logic; Petri nets; Sequence characterization

Indexed keywords

EID: 0012500956     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. G.W. Brams : Réseaux de Petri - théorie et pratique, Tome 1, Masson Ed., 1983.
2. C. Brown: Relating Petri Nets to Formulas of Linear Logic, Edinburgh Tech. Report ECS-LFCS-89-87, June, 1989.
3. th International Conference IPMU, Paris, Jul. 1994, Vol. 2, pp. 1269-1274.
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. th International Conference on Application and Theory of Petri nets, Bonn, Germany,1989.
6. J.Y. Girard: Linear Logic, Theoretical Computer Science, no50, 1987.
7. J.Y. Girard : La logique linéaire, Pour la Science, no150, Apr. 1990, pp. 74-85.
8. J.Y. Girard : Linear Logic: A Survey, Cahiers du centre de logique, vol. 8, 1995, pp. 193-255.
9. Y. Lafont: The Linear abstract machine, Theoretical Computer Science, no59, 1988, pp. 157-180.
10. th International Conference on Application and Theory of Petri nets, Sheffield, England,1992.
11. M. Martí-Oliet and J. Meseguer: From Petri Nets to Linear Logic Through Categories: A Survey, International Journal of Foundation of Computer Science, vol. 2, no2, 1991, pp. 297-399.
12. T. Murata, D. Zhang: A Predicate-Transition net model for Parallel Interpretation of Logic Programs, IEEE Transaction on Software Engineering, Vol. 14, no4, Apr. 1988, pp. 481-497.
13. G. Peterka, T. Murata: Proof procedure and answer extraction in Petri net model of logic programs, IEEE Transactions on Software Engineering, Vol. 15, no2, Feb. 1989, pp. 209-217.
14. nd International Conference on Industrial Automation, Nancy, France, June 1995.
15. B. Pradin-Chézalviel, R. Valette: Petri nets and Linear logic for process oriented diagnosis, 1993 IEEE International Conference on System, Man, and Cybernetics, Le Touquet, France, October 1993.