Modélisation, analyse et pilotage de flux en milieu hospitalier à l'aide d'UML et des réseaux de Petri

Modélisation, analyse et pilotage de flux en milieu hospitalier à l'aide d'UML et des réseaux de Petri

La modélisation et l'analyse de systèmes hospitaliers sont traditionnellement réalisées en utilisant méthodes et outils issus du génie industriel. Cependant, les caractéristiques de ces systèmes sont difficiles à capturer avec les outils de modélisation et de simulation classiques. Notre object...

Full description

Bibliographic Details
Main Author:	Augusto, Vincent
Language:	FRE
Published:	Ecole Nationale Supérieure des Mines de Saint-Etienne 2008
Subjects:	[SPI] Engineering Sciences modélisation simulation pilotage UML réseaux Petri plate-forme planification ordonnancement prototypage rapide
Online Access:	http://tel.archives-ouvertes.fr/tel-00473565 http://tel.archives-ouvertes.fr/docs/00/47/35/65/PDF/V-Augusto-20081108.pdf

Similar Items

Conception et pilotage de cellules flexibles à fonctionnement répétitif modélisés par réseaux de Petri
by: JULIA, Stéphane
Published: (1997)

Architecture multi-agents pour le pilotage automatique des voiliers de compétition et Extensions algébriques des réseaux de Petri
by: Guillou, Goulven
Published: (2010)

Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés
by: Benmoussa, Mohamed
Published: (2016)

Extension d’UML par les rôles
by: Hamza Rayd, et al.
Published: (2007-06-01)

Pilotage de production à moyen et à court terme : contribution aux problématiques d'optimisation globale vs locale et à l'ordonnancement dans les raffineries
by: Saharidis, Georgios
Published: (2006)

Using UML and Petri nets for visualization of business document flow
by: Ivana Rábová
Published: (2012-01-01)

Méthodes et outils d'aide à la conception des processus opérationnels d'un système de formation
by: Bistorin, Olivier
Published: (2007)

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
by: E. Akbari, et al.
Published: (2010-06-01)

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
by: E. Akbari, et al.
Published: (2013-07-01)

An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net
by: Tanuja Shailesh, et al.
Published: (2020-11-01)

Modélisation et analyse temporelle par réseaux de Petri et logique linéaire
by: Riviere, Nicolas
Published: (2003)

Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
by: Arianna Zoila Olivera Salmon
Published: (2017)

Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
by: Salmon, Arianna Zoila Olivera
Published: (2017)

Approches avancées pour la planification et l'ordonnancement en contexte dynamique
by: Ménard, Marc-André
Published: (2021)

Contribution à la modélisation et à la commande des feux de signalisation par réseaux de Petri hybrides
by: Sammoud, Bassem
Published: (2015)

The Situational Awareness & The Port Pilotage Services
by: Numan Çokgörmüşler
Published: (2021-06-01)

Optimisation Stochastique pour la gestion des lits d'hospitalisation sous incertitudes
by: Mazier, Alexandre
Published: (2010)

Pilotage hétérarchique des systèmes de production
by: Trentesaux, Damien
Published: (2002)

Sur l'intégration de mécanismes d'ordonnancement et de communication dans la sous-couche MAC de réseaux locaux temps réel
by: Vasques De Carvalho, Francisco
Published: (1996)

Estimation à erreurs bornées et guidage pilotage des aéronefs autonomes en milieu perturbé.
by: Achour, Walid
Published: (2011)

Evaluation of software architecture using fuzzy color Petri net
by: Zohreh Shiriyan Dehkordi, et al.
Published: (2013-02-01)

Réseaux de Petri P-temporels: Modélisation et validation d'exigences temporelles
by: Collart-Dutilleul, Simon
Published: (2008)

Vérification et dépliages de réseaux de Petri temporels paramétrés
by: Traonouez, Louis-Marie
Published: (2009)

Modélisation et Caractérisation d'une Plate-Forme SOC Hétérogène : Application à la Radio Logicielle.
by: Rouxel, Samuel
Published: (2006)

Test and diagnosis of discrete event systems using Petri nets
by: Pocci, Marco
Published: (2013)

Planification et ordonnancement probabilistes sous contraintes temporelles
by: Baki, Bassam
Published: (2006)

Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri
by: Louati, Aymen
Published: (2015)

Pilotage adaptatif et réactif pour un système de production à flux continu: application à un système de production pétrochimique
by: Aissani, Nassima
Published: (2010)

Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs
by: Malo, Sadouanouan
Published: (2010)

Conception d'un système de pilotage distribué, supervisé et multicritère pour les systèmes automatisés de production
by: Trentesaux, Damien
Published: (1996)

Verificação de modelos uml de software embarcado com model checking
by: Custódio, Marcelo Monteiro
Published: (2015)

Insensibilité et bornes stochastiques dans les réseaux de files d'attente. Application à la modélisation des réseaux de télécommunication au niveau flot.
by: Proutiere, Alexandre
Published: (2003)

Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
by: Mostefaoui, Farida
Published: (2012)

Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
by: Mostefaoui, Farida
Published: (2012)

Mobiliosios informavimo sistemos tyrimas
by: Kaškelevičius, Darius
Published: (2005)

Análise da compatibilidade de componentes especificados em UML
by: Teixeira, Nara Sueina
Published: (2013)

Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS
by: Sadani, Tarek
Published: (2007)

UML projektavimo įrankių lyginamoji analizė
by: Švaplys, Tomas
Published: (2010)

Estimation et diagnostic de réseaux de Petri partiellement observables
by: Dardour, Amira
Published: (2018)

Le modèle réseaux de Petri temporisés stochastiques: extensions et applications
by: Gallon, Laurent
Published: (1997)