1

1
Modlisation, Processus et
Simulation
MPSI
Cours 3
Isabelle Gurin Lassous
2
But
Mieux comprendre ARENA
Lister les principaux modules dans Arena
3
Construction dun modle sous
Arena
Utilisation de modules
Flowchart modules
Forment lorganigramme qui dcrit la logique du processus
Data modules
Dfinissent les caractristiques des lments de la simulation
Ex
Ressource, file dattente
Basic process panels
Les modules de base vus jusquici
Advanced process panel
Modlisation plus complexe
Advanced transfer panel
Modlisation de transport dentits
4
Modlisation bas niveau possible
Modlisation au niveau SIMAN
Contrle complet sur la simulation
Modules Arena bass sur le langage
SIMAN
Deux panneaux
Blocs
lments
1
er
aperu la semaine dernire en TP
5
Basic Process Panel
8 flowchart modules
6 data modules
Create module
Point dentre des entits dans un modle de simulation
Cration selon
Un temps inter-arrives
Un ordonnancement
Les entits quittent alors le module pour tre traites par le systme
Un seul point de sortie
Possibilit de gnrer des arrives par rafale
A la cration dune entit
Entity.CreateTime := temps courant de la simulation
Entity.SerialNumber := numro unique (incrment lors de la simulation)
Entity Type .NumberIn
Module Name .NumberOut
6
Basic Process Panel
Process module
Mthode de traitement principale dans la simulation
4 actions
Delay
Processus de dlai sans contrainte sur une ressource
Seize delay
Une ressource est alloue mais la libration celle-ci sera ralise plus
tard
File dattente associe
Seize delay release
Une ressource est alloue, un dlai est appliqu puis la ressource est
libre
File dattente associe
Delay release
Une ressource a dj t alloue et lentit va simplement retarder et
relcher la ressource spcifie
2
7
Basic Process Panel
Champ priorit
Utilis si plusieurs entits veulent utiliser la mme
resource
Un seul point de sortie
NQ(queue name) donne le nombre dentits
qui attendent dans la file dattente
ProcessName .NumberIn et .NumberOut
8
Basic Process Panel
Decide module
Processus de dcision
Dcisions bases sur
Une ou plusieurs conditions
Conditions bases sur des valeurs dattribut, de variable, des
types dentit ou une expression
Une ou plusieurs probabilits
Deux points de sortie
Vrai / Faux
Dispose module
Point de sortie des entits dans un modle de
simulation
9
Basic Process Panel
Assign module
Attribution de nouvelles valeurs aux variables, attributs, types
Allocations multiples sont possibles
Prises dans lordre o elles sont donnes
Un seul point de sortie
Batch module
Permet le regroupement dentits
De manire permanente ou temporaire
Regroupement selon
Un nombre donn
Un attribut
Les entits entrantes sont mises dans une file jusqu avoir le
nombre dentits voulu
Une fois le regroupement effectu, une nouvelle entit
reprsentative est cre
10
Basic Process Panel
Separate module
Pour dgrouper une entit de groupage (par le processus batch)
On revient aux entits originales
Ordre initial conserv
Pour copier une entit entrante en de multiples entits
Lentit entrante sort aussi du module
Record module
Pour collecter des statistiques dans le modle de simulation
Et non ncessairement la fin de la simulation
Statistiques sur
Les intervalles de temps
Entre deux processus par ex.
Les entits
Le comptage
11
Basic Process Panel
Entity module
Dfinit les types dentit et les valeurs initiales lors de
la simulation
Resource module
Dfinit les ressources dans le systme de simulation
Avec les informations de cot et de disponibilit
Capacit fixe ou fonction dun ordonnancement
Queue module
Pour changer lordre dans une file dattente spcifique
Par dfaut, First In First Out
12
Basic Process Panel
Variable module
Pour dfinir les dimensions et les valeurs dune
variable
Les variables peuvent
tre rfrences dans dautres modules
Changes de valeur
tre utilises dans nimporte quelle expression
Schedule module
Utilis avec le module create
Pour dfinir un ordonnancement des arrives
ou avec le module resource
Pour dfinir un ordonnancement dutilisation
Bas sur la dure ou sur un calendrier
3
13
Basic Process Panel
Set module
Pour dfinir des ensembles
De ressources, de compteurs, de types dentit,
etc.
Les ensembles de ressources utiliss dans le
module process
Lordre des membres dun ensemble est
important
Index pour chaque membre
14
Advanced Process Panel
Advanced Set Module
Spcifie des ensembles de files dattente, de
stockage, etc.
Ensemble de files dattente utilis par le module
Seize
Ensemble de stockage utilis par le module Store
Un membre dun ensemble peut tre rfrenc par le
nom de lensemble et lindex du membre
NumMem(SetName) = nombre dlments
Member(SetName, SetIndex) = lment se trouvant
lindex SetIndex
MemIdx(SetName,ElementName) = index assoc
llment
15
Advanced Process Panel
Delay module
Dlai dune entit selon un temps spcifi
Lorsquune entit arrive dans le module, elle reste dans le
module selon le temps valu.
Le temps pass est alors allou aux valeurs de lentit choisis
Si lexpression value pour le dlai est ngative, alors le dlai
est mis 0
Dropoff module
Enlve un nombre donn dentits dun groupe dentits et les
envoie sur un autre module
Possibilit de faire sortir des entits en ajoutant le module
Dispose
Utilisation de rgles
Variable NG = taille du groupe de lentit courante
Diffrent du module Separate
16
Advanced Process Panel
Expression module
Dfinit des expressions et leurs valeurs associes
Les expressions peuvent tre aussi un tableau une
ou deux dimensions
Une expression peut tre forme via la combinaison
dentiers, de rels, de noms symboliques, de
distributions statistiques, doprateurs arithmtiques,
doprateurs logiques, de parenthses, dattributs et
de variables
Une expression peut tre rfrence dans une autre
expression
Mais appels rcursifs interdits
17
Advanced Process Panel
Failure module
utiliser avec les ressources (module Resource ou
module Stateset cf aprs)
Quand une panne arrive, la ressource entire est en
panne
Possibilit de dfinir le temps entre deux pannes et le
temps de la panne
File module
utiliser ds quon doit accder un fichier externe
(via ReadWrite module)
Identification du nom du fichier, de la mthode
daccs, du formatage et des caractristiques
oprationnelles du fichier
18
Advanced Process Panel
Hold module
Prend une entit dans une file dattente pour attendre
un signal, une condition particulire ou pour tre
bloqu indfiniment
Si lentit attend
un signal, le module Signal permet lentit daller sur le
module suivant
Quune condition devienne vraie, lentit attend dans le
module jusqu ce que la condition devienne vraie
Indfiniment, possibilit de dbloquer avec le module
Remove
4
19
Advanced Process Panel
Match module
Rassemble un nombre fix dentits attendant dans diffrentes
files dattente
Le rassemblement peut tre ralis quand il y a au moins une
entit dans chacune des files concernes
Un attribut peut aussi tre ralis pour faire le rassemblement
Ds quun rassemblement peut tre fait, une entit de chaque
file est libre
Les entits sont alors synchronises lors du dpart du module
5 files dattente possibles
Autant de points de sortie quil y a de files dattente
Possibilit de faire sortir plusieurs entits en mme temps
Utilisation du module Batch avant
20
Advanced Process Panel
Pickup module
Enlve un nombre conscutif dentits dans une file dattente
donne partir dun rang spcifi
Les entits choisies sont places la fin dun groupe dentits
en formation
Erreur si le rang + le nombre dentits choisies dpasse le
nombre dentits dans la file
ReadWrite module
Pour lire des donnes dun fichier dentre, du clavier et allouer
des valeurs une liste de variables ou dattributs
Utiliser aussi pour crire des donnes dans un fichier ou
lcran
Ne peut lire que des donnes numriques
21
Advanced Process Panel
Release module
Pour librer une ressource qui est utilise
Libration de ressources individuelles ou dun ensemble de
ressources
Pour chaque ressource librer, prcision du nom et de la
quantit
Ds quune ressource est libre, lentit qui lavait en perd le
contrle et une des entits qui attend dans la file dattente reoit
immdiatement le contrle sur cette ressource
NR(ResourceName) = nombre dunits occupes de la
ressource spcifie
Erreur si plus dunits sont libres que possible
Ordre de libration des ressources se fait comme spcifi dans
le module Release
22
Advanced Process Panel
Remove module
Enlve une entit dune file dattente se trouvant une position
spcifie et lenvoie dans un module dsign
Search module
Cherche dans une file dattente, un groupe ou une expression, le
rang dune entit ou la valeur de la variable globale J qui satisfait
la condition de recherche spcifie
larrive dune entit, lindex J est initialis au dpart et la
condition de recherche est vrifie. Si elle est satisfaite, on sort
avec la valeur J, sinon J est incrment (ou dcrment) puis on
recommence
Possibilit de choisir un min ou max pour J
23
Advanced Process Panel
Seize module
Alloue une ou plusieurs units de ressources une entit
larrive dune entit, elle attend dans une file dattente jusqu
ce que toutes les ressources spcifies soient toutes libres
Champ allocation
Spcifie comme le cot de la ressource est allou lentit
Signal module
Envoie une valeur chaque module Hold de type Wait for Signal
et libre le nombre dentits spcifi
A larrive dune entit, le signal est valu puis envoy. Au
mme moment, les entits du module Hold concernes sont
enleves. Lentit qui envoie le signal continue son traitement
24
Advanced Process Panel
Stateset module
Pour dfinir des tats pour une ou des ressources
Ces tats peuvent tre
associs un tat initial
de nouveaux tats pour la ressource
Statistic module
Pour dfinir des statistiques supplmentaires qui
peuvent tre collectes durant la simulation
Pour spcifier aussi des fichiers de donnes en sortie
Possibilit de collecter toutes les observations
5
25
Advanced Process Panel
Storage module
Dfinit le nom dun stockage
En gnral, gnr automatiquement
Store module
Ajoute une entit au stockage
larrive dune entit, le stockage est incrment et
lentit passe immdiatement au module suivant
Utile pour lanimation
Unstore module
Enlve une entit dun stockage