Retour au site du LAAS-CNRS

Petri nets and linear logic

B.PRADIN-CHEZALVIEL, R.VALETTE, N.RIVIERE

OLC, TSF

Ouvrage (contribution) : Petri Nets: Fundamental Models, Verification and Applications , N°ISBN 978-1848210790, Décembre 2008, Chapitre 6, 21p. , N° 08786

Diffusable

Ajouter au panier 116794

A modular logical characterization of partial orders among events

N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

OLC

Rapport LAAS N°04215, Mai 2004, 16p.

Diffusable

Ajouter au panier 102139

Preuves de logique linéaire et process de réseaux de Petri

J.FANCHON, N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

2I, OLC

Manifestation avec acte : 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'03), Metz (France), 6-8 Octobre 2003, pp.261-276 , N° 03116

Diffusable

Ajouter au panier 101250

Réseaux de Petri et logique linéaire

B.PRADIN-CHEZALVIEL, R.VALETTE

OLC

Ouvrage (contribution) : Vérification et mise en oeuvre des réseaux de Petri, Hermes Science, Traité IC2 Information-Commande-Communication, N°ISBN 2-7462-0445-2, 2003, Chapitre 6, pp.209-229 , N° 03124

Diffusable

Ajouter au panier 100610

Linear logic proofs and processes in Petri nets

J.FANCHON, N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

2I, OLC, OCSD

Rapport LAAS N°02450

Diffusable

Ajouter au panier 100100

Propagation de contraintes et ordonnancement de documents multimedias

N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

OLC, OCSD

Manifestation sans acte : Journées FAC'2002. Formalisation des Activités Concurrentes, Toulouse (France), 26-27 Mars 2002, 10p. , N° 02044

Diffusable

Ajouter au panier 51438

Propagation de contraintes et ordonnancement de documents multimedias

N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

OLC, OCSD

Manifestations avec acte à diffusion limitée : 5èmes Journées Doctorales Informatique et Réseaux (JDIR'2002), Toulouse (France), 4-6 Mars 2002, pp.211-218 , N° 02044

Diffusable

Ajouter au panier 50655

Reachability and temporal conflicts in t-time Petri nets

N.RIVIERE, B.PRADIN-CHEZALVIEL, R.VALETTE

OCSD, OLC

Manifestation avec acte : 9th IEEE International Workshop on Petri Nets and Performance Models (PNPM'01), Aachen (Allemagne), 11-14 Septembre 2001, pp.229-238 , N° 01049

Diffusable

Ajouter au panier 47299

Petri nets and linear logic as an aid for scheduling batch processes

R.CHAMPAGNAT, B.PRADIN-CHEZALVIEL, R.VALETTE

L3I, OLC, OCSD

Revue Scientifique : APII-JESA, Vol.35, N°4, pp.451-465, 2001 , N° 00091

Diffusable

Ajouter au panier 45665

Réductions fondées sur la logique linéaire pour l'ordonnancement des réseaux de Petri

J.C.MUGARZA, B.PRADIN-CHEZALVIEL, R.VALETTE, M.SILVA

Mondragon, OLC, OCSD, EXT

Manifestation avec acte : 3ème Conférence Francophone de MOdélisation et SIMulation (MOSIM'01), Troyes (France), 25-27 Avril 2001, Vol.1, pp.167-173 , N° 00402

Diffusable

Ajouter au panier 44978