Retour au site du LAAS-CNRS

Linear logic as a tool for reasoning on a Petri net model

F.GIRAULT, B.PRADIN-CHEZALVIEL, L.A.KUNZLE, R.VALETTE

SP, OLC

Manifestation avec acte : 4th INRIA/IEEE Symposium on Emerging Technologies and Factory Automation (ETFA'95), Paris (France), 10-13 Octobre 1995, pp.49-57 , N° 95003

Diffusable

Ajouter au panier 11262

Behavioral model based diagnosis in manufacturing

B.PRADIN-CHEZALVIEL, F.GIRAULT, L.A.KUNZLE, R.VALETTE

OLC, SP

Manifestation avec acte : 2nd International Conference on Industrial Automation, Nancy (France), 7-9 Juin 1995, pp.239-244 , N° 94520

Diffusable

Ajouter au panier 11089

Synthesis of monitoring functions based on a formal specification

L.A.KUNZLE, B.PRADIN-CHEZALVIEL, F.GIRAULT, R.VALETTE

OLC, SP

Manifestation avec acte : European Workshop on Integrated Manufacturing Systems Engineering (IMSE'94), Grenoble (France), 12-14 Décembre 1994, pp.287-295 , N° 94342

Diffusable

Ajouter au panier 10311

Petri nets theory enhanced by linear logic

F.GIRAULT, B.PRADIN-CHEZALVIEL

SP, OLC

Rapport LAAS N°94469, Novembre 1994, 20p.

Diffusable

Ajouter au panier 10883

Linear logic for imprecise firings in object Petri nets

J.CARDOSO, R.VALETTE, B.PRADIN-CHEZALVIEL

SP, OLC

Manifestation avec acte : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU), Paris (France), 4-8 Juillet 1994, pp.1269-1274 , N° 93392

Diffusable

Ajouter au panier 8699

Marcaçao e sequencia de tiro numa rede de Petri Nebulosa expressas pela logica linear

J.CARDOSO, R.VALETTE, B.PRADIN-CHEZALVIEL

SP, OLC

Rapport LAAS N°94057, Janvier 1994, 7p.

Diffusable

Ajouter au panier 9429

Petri nets and linear logic for process oriented diagnosis

B.PRADIN-CHEZALVIEL, R.VALETTE

OLC, SP

Manifestation avec acte : 1993 IEEE International Conference on Systems, Man and Cybernetics, Le Touquet (France), 17-20 Octobre 1993, pp.264-269 , N° 93290

Diffusable

Ajouter au panier 8371

Fuzzy Petri nets and linear logic

J.CARDOSO, R.VALETTE, B.PRADIN-CHEZALVIEL

SP, OLC

Manifestation avec acte : 1993 IEEE International Conference on Systems, Man and Cybernetics, Le Touquet (France), 17-20 Octobre 1993, pp.258-263 , N° 93291

Diffusable

Ajouter au panier 8374

Knowledge representation and update in a process oriented approach using Petri nets. Change in Petri nets: monotonicity and nonmonotonicity

R.VALETTE, B.PRADIN-CHEZALVIEL

SP, OLC

Rapport LAAS N°93431, Octobre 1993, 13p.

Diffusable

Ajouter au panier 8867

Reasoning about resources by combining Petri nets and linear logic

B.PRADIN-CHEZALVIEL, R.VALETTE

OLC, SP

Rapport LAAS N°92444, Octobre 1992, 19p.

Diffusable

Ajouter au panier 7014