Retour au site du LAAS-CNRS

Implantation matérielle de systèmes complexes. Traduction automatique d'un réseau de Petri non autonome en composants VHDL

D.ANDREU, T.GIL, A.NKETSA

LIRMM, ISI

Revue Scientifique : Journal Européen des Systèmes Automatisés, Vol.39, N°9-10, pp.1099-1131, 2005 , N° 05109

Diffusable

Ajouter au panier 107000

Commandes basées réseaux de Petri. Mise en oeuvre

M.COMBACAU, P.ESTEBAN, A.NKETSA

DISCO, ISI

Revue Scientifique : Techniques de l'Ingénieur, pp.S 7 573-1-S 7 572-15, Mars 2005 , N° 04404

Diffusable

Ajouter au panier 103480

Commandes basées réseaux de Petri. Modélisation, analyse

M.COMBACAU, P.ESTEBAN, A.NKETSA

DISCO, ISI

Revue Scientifique : Techniques de l'Ingénieur, pp.S 7 572-1-S 7 572-14, Mars 2005 , N° 04403

Diffusable

Ajouter au panier 103479

Simulation and detection of some properties of hybrid system based differential predicate-transition Petri nets by means of VHDL-AMS

A.NKETSA, J.C.PASCAL, D.ANDREU, P.ESTEBAN

ISI, LIRMM

Manifestation avec acte : 2004 European Simulation and Modelling Conference (ESM'2004), Paris (France), 25-27 Octobre 2004, pp.294-298 , N° 04496

Diffusable

Ajouter au panier 102753

Vers une approche amont de conception robuste des systèmes énergétiques

M.PALUDETTO, P.ESTEBAN, S.COMBETTES, A.NKETSA

ISI

Rapport LAAS N°04158, Mars 2004, 8p.

Diffusable

Ajouter au panier 101985

Petri net distributed simulation using HLA based on Petri net components

S.COMBETTES, A.NKETSA

OCSD, ISI

Manifestation avec acte : 2003 European Simulation and Modelling Conference (ESM'2003), Naples (Italie), 27-29 Octobre 2003, pp.503-507 , N° 03353

Diffusable

Ajouter au panier 101547

Using coloured Petri nets to check interoperability in a HLA federation (03E-SIW-084)

S.COMBETTES, A.NKETSA

ISI

Manifestation avec acte : 2003 European Simulation Interoperability Workshop (EURO-SIW'03), Stockholm (Suède), Juin 2003, 6p. , N° 03070

Diffusable

Ajouter au panier 101546

Interoperability compliance validation of HLA federation based on coloured Petri nets

S.COMBETTES, A.NKETSA

OCSD, ISI

Manifestation avec acte : 14th European Simulation Symposium (ESS'2002), Dresdes (Allemangne), 23-26 Octobre 2002, pp.124-128 , N° 02341

Diffusable

Ajouter au panier 100017

A virtual system approach for distributed simulation of complex systems

S.COMBETTES, A.NKETSA

OCSD, ISI

Manifestation avec acte : 2002 IEEE International Conference on Systems Man and Cybernetics (SMC'02), Hammamet (Tunisie), 6-9 Octobre 2002, 9p. , N° 02148

Diffusable

Ajouter au panier 53736

HLA Interoperability analysis based coloured Petri nets

S.COMBETTES, A.NKETSA

OCSD, ISI

Manifestation avec acte : 16th European Simulation Multiconference. Modelling and Simulation 2002, Darmstadt (Allemagne), 3-5 Juin 2002, pp.269-272 , N° 02032

Diffusable

Ajouter au panier 52173