41documents trouvés
Temporal reasoning in fuzzy time Petri nets
L.A.KUNZLE, R.VALETTE, B.PRADIN-CHEZALVIEL
OCSD, OLC
Ouvrage (contribution) : Studies in Fuzziness and Soft Computing "Fuzziness in Petri Nets", Eds. J.Cardoso, H.Camargo, Physica Verlag, N°ISBN 0-7908-1158-0, 1998, pp.146-173 , N° 98073
Diffusable
30861Time Petri nets for modelling civil litigation
R.VALETTE, B.PRADIN-CHEZALVIEL
OCSD, OLC
Revue Scientifique : Information & Communications Technology Law, Vol.7, N°3, pp.269-280, Octobre 1998 , N° 98165
Diffusable
30667Logic and fuzzy Petri nets
J.CARDOSO, B.PRADIN-CHEZALVIEL
UFSC, OLC
Manifestations avec acte à diffusion limitée : International Conference on Application and Theory of Petri Nets Workshop on Manufacturing and Petri Nets, Toulouse (France), 23 Juin 1997, pp.17-34 , N° 97259
Diffusable
21508A logic for Petri nets
F.GIRAULT, B.PRADIN-CHEZALVIEL, R.VALETTE
SP, OLC
Revue Scientifique : RAIRO-APII-JESA, Vol.31, N°3, pp.525-542, 1997 , N° 97177
Diffusable
20615Vérification de contraintes temporelles pour des systèmes de contrôle-commande à l'aide des réseaux de Petri
R.VALETTE, F.GIRAULT, L.A.KUNZLE, B.PRADIN-CHEZALVIEL, J.CARDOSO
SP, OLC, UFSC
Manifestation avec acte : Colloque "Applications des Méthodes Formelles aux Développements de Systèmes en Télécommunications, Systèmes VLSI et Systèmes de Contrôle-commande Temps Réel, Montréal (Canada), 2-4 Octobre 1996, pp.255-267 , N° 96342
Diffusable
15958Raciocinio temporal e diagnostico em sistemas paralelos
L.A.KUNZLE, B.PRADIN-CHEZALVIEL, R.VALETTE, J.CARDOSO
SP, OLC, UFSC
Manifestation avec acte : XI Congresso Brasileiro de Automatica, Sao Paulo (Brésil), 2-6 Septembre 1996, pp.435-440 , N° 96511
Diffusable
18624Raisonnement temporel pour des systèmes parallèles
L.A.KUNZLE, B.PRADIN-CHEZALVIEL, R.VALETTE, J.CARDOSO
SP, OLC
Manifestation avec acte : Automatique. Génie Informatique. Image (AGI'96), Tours (France), 6-7 Juin 1996, pp.259-262 , N° 95502
Diffusable
14012Petri net and logic
J.CARDOSO, G.BITTENCOURT, B.PRADIN-CHEZALVIEL, R.VALETTE
SP, OLC, UFSC
Rapport LAAS N°96137, Avril 1996, 20p.
Diffusable
13722Une logique pour les réseaux de Petri
F.GIRAULT, B.PRADIN-CHEZALVIEL, R.VALETTE
SP, OLC
Manifestation avec acte : Congrès AFCET "Modélisation des Systèmes Réactifs", Brest (France), 28-29 Mars 1996, pp.309-316 , N° 95437
Diffusable
12783Une technique de preuve associant logique linéaire et invariants des réseaux de Petri
B.PRADIN-CHEZALVIEL, F.GIRAULT, L.A.KUNZLE, R.VALETTE
OLC, SP
Rapport LAAS N°95516, Décembre 1995, 6p.
Diffusable
13039