V. M. , A. , and P. Ruet, Non-commutative logic I: the multiplicative fragment, Annals of Pure and Applied Logic, vol.101, issue.1, pp.29-64, 1999.

Y. Bar-hillel, C. Gaifman, and E. Shamir, On categorial and phrase-structure grammars. Bulletin of the research council of Israel, pp.1-16, 1960.

D. Bechet, P. De-groote, and C. Retoré, A complete axiomatisation for the inclusion of series-parallel partial orders, Rewriting Techniques and Applications, RTA'97, pp.230-240, 1997.
DOI : 10.1007/3-540-62950-5_74

E. Best and R. Devillers, Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science, vol.55, issue.1, pp.87-136, 1987.
DOI : 10.1016/0304-3975(87)90090-9

W. Buszkowski, Mathematical Linguistics and Proof Theory, Handbook of Logic and Language, chapter 12, pp.683-736, 1997.
DOI : 10.1016/B978-044481714-3/50016-3

P. Darondeau, Deriving unbounded Petri nets from formal languages, 1998.
DOI : 10.1007/BFb0055646
URL : https://hal.archives-ouvertes.fr/inria-00073324

A. Demaille, Logiques linéaires hybrides et leurs modalités Thése de doctorat, spécialité informatique, 1999.

U. Engberg and G. Winskel, Completeness results for linear logic on Petri nets, Annals of Pure and Applied Logic, vol.86, issue.2, pp.101-135, 1997.
DOI : 10.1016/S0168-0072(96)00024-3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.6245

V. Gehlot, A proof-theoretic approach to semantics of concurrency, 1992.

V. Gehlot and C. A. Gunter, Nets as tensor theories Extended and INRIA revised version available as, Proceedings of the tenth International Conference on Application and Theory of Petri Nets, pp.174-191, 1989.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

F. Girault, Formalisation en logique linéaire du fonctionnement des réseaux de Petri, Thèse de doctorat, spécialité informatique industrielle, 1997.

U. Goltz and W. Reisig, The non-sequential behaviour of Petri nets, Information and Control, vol.57, issue.2-3, pp.125-147, 1983.
DOI : 10.1016/S0019-9958(83)80040-0

P. De and G. , Partially commutative linear logic: sequent calculus and phase semantics, Third Roma Workshop: Proofs and Linguistic Categories ? Applications of Logic to the analysis and implementation of Natural Language, pp.199-208, 1996.

. Luis-allan-künzle, Raisonnement temporel basé sur les réseaux de Petri pour des systémes manipulant des ressources, Thèse de doctorat, spécialité informatique industrielle, 1997.

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-169, 1958.
DOI : 10.2307/2310058

A. Lecomte and C. Retoré, Extending Lambek grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.354-361, 2001.
DOI : 10.3115/1073012.1073059

J. Meseguer and U. Montanari, Petri nets are monoids, Information and Computation, vol.88, issue.2, pp.105-155, 1990.
DOI : 10.1016/0890-5401(90)90013-8

R. H. Möhring, Computationally Tractable Classes of Ordered Sets, Algorithms and Order, pp.105-194, 1989.
DOI : 10.1007/978-94-009-2639-4_4

M. Mukund, PETRI NETS AND STEP TRANSITION SYSTEMS, International Journal of Foundations of Computer Science, vol.03, issue.04, pp.443-478, 1992.
DOI : 10.1142/S0129054192000231

M. Pentus, Lambek grammars are context free, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993.
DOI : 10.1109/LICS.1993.287565
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.8098

B. Pradin-chézalviel, L. A. Künzle, F. Girault, and R. Valette, Calculating duration of concurrent scenarios in time Petri nets, APII -Journal Européen des Systèmes Automatisés, vol.33, pp.8-9943, 1999.

C. Retoré, Réseaux et Séquents Ordonnés, Thèse de Doctorat, spécialité Mathématiques, 1993.

C. Retoré, Systèmes déductifs et traitement des langues: un panorama des grammaires catégorielles, Technique et Science Informatique, vol.20, issue.3, pp.301-336, 2000.

C. Retoré, A description of the non-sequential execution of Petri nets in partially commutative linear logic, Logic Colloquium '99 Lecture Notes in Logic. Association for Symbolic Logic & A. K. Peters, Ltd, 2001.
DOI : 10.1017/9781316755921.013

P. Ruet, Logique non-commutative et programmation concurrente Thése de doctorat, spécialité logique et fondements de l'informatique, 1997.

A. Sjerp and T. , Lectures on Linear Logic, volume 29 of CSLI Lecture Notes. CSLI, 1992

J. Valdes, R. E. Tarjan, and E. L. Lawler, The Recognition of Series Parallel Digraphs, SIAM Journal on Computing, vol.11, issue.2, pp.298-313, 1982.
DOI : 10.1137/0211023

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Lès-nancy-unité-de-recherche, and . Rennes, Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.