OBSERVACIONES GENERALES

Este documento tiene por objeto explicar el manejo del anlisis cuantitativo func-
dad dentro WoPeD.
Hay dos mtodos de anlisis cuantitativo: el algoritmo de planificacin de la
capacidad, ya que puede conocer desde van der Aalst y la simulacin (cuantitativo)
van Hee y.
EXTENSIONES DE MODELOS
Con el fin de ser capaz de lograr el anlisis cuantitativo, una red de flujo de trabajo
debe ser complementado con datos estadsticos. Esos son en detalle:
- Los tiempos de servicio promedio de transiciones
- Probabilidades divididas en divisiones XOR
- Asignacin de un grupo y un papel para todas las transiciones, que utilizan
recursos

Los datos necesarios se pueden dar en las propiedades de los dilogos de las
transiciones y / o los arcos y tambin se pueden cambiar ms adelante.


PROPIEDADES DE TRANSICIN
En primer lugar el gatillo de recursos debe ser seleccionado. Entonces, el tiempo
promedio de servicio se puede introducir en el campo de texto correspondiente.
Adems, la unidad de tiempo se puede seleccionar en el campo de lista de
combinacin de acompaamiento. Dentro del editor de el tiempo de servicio
aparece como nmero verde en la transicin. A continuacin el valor actual de un
smbolo para la unidad de tiempo se indica

Si una clasificacin de los recursos se da un grupo y un papel puede ser elegido.
PROPIEDADES DEL ARCO

Con XOR transiciones divididas las probabilidades de divisin se pueden introducir
en las propiedades de arco de dilogo. Esos son nmeros enteros entre 0 y 100. Es
de hecho la certeza de que la suma de todas las probabilidades de una transicin es
igual a 100%.
Adems, se puede elegir si el valor se muestra en el editor.
Un ejemplo neto del flujo de trabajo es el siguiente:



EL MODELO DE TIEMPO
En el modelo de flujo de trabajo se pueden utilizar unidades de tiempo diferentes. Para los
clculos todos los datos numeri-cal se deben convertir, por tanto, en una unidad de tiempo. Por
lo tanto la unidad de tiempo estndar se puede cambiar en un cuadro de dilogo.

La unidad de tiempo por defecto es de 1 minuto.
Tambin tienes la posibilidad de elegir las
unidades de tiempo ms usuales como 1 semana o
30 segundos, etc Los resultados del anlisis
cuantitativo se luego ser entendido como mltiplo
de estas unidades.
Adems se pueden especificar los factores de
conversin ms realistas. De all tendra que
trabajar por ejemplo con 1 da de trabajo de 8 horas y 5 das de trabajo por semana.
Despus de hacer clic en el botn [Aplicar] los datos se almacenan y dentro del programa de
todos los valores actuales se convierten.
Qu falta
En la actualidad subprocesos no son compatibles. Se trata como una transicin de costumbre y
que se le debe asignar un tiempo promedio de servicio de forma explcita.
Planificacin de la capacidad
Al principio se describe el funcionamiento del dilogo para la planificacin de la capacidad.
.
Llamar al dilogo
La planificacin de la capacidad de dilogo se puede iniciar haciendo clic en la cinta
'Analizar'.

El dilogo para la planificacin de la capacidad slo se puede abrir, si hay una red de flujo de
trabajo semntico y sin-tcticamente correcta en el editor. Para ello se lleva a cabo un examen
interno, que el usuario normalmente no reconoce. Sin embargo, dos errores tpicos pueden
ocurrir:
1. La red no es el sonido. Luego del examen solidez proporciona un resultado negativo y
un mensaje de error se indica:

2. Todas las divisiones XOR tienen por defecto una probabilidad de divisin del 100%. Si
no se cambian o si su suma no es exactamente el 100%, un mensaje de error an sigue:

Cuando no hay errores del cuadro de dilogo aparece. Es un cuadro de dilogo modal,
es decir, ventanas subyacentes no pueden ser alcanzados hasta la planificacin de la
capacidad est cerrado. Esto es para evitar que durante el anlisis del modelo en el
editor se cambia o se abre otra red.
La interfaz grfica de usuario del cuadro de dilogo consta de tres partes: la parte de
entrada, la parte de resultados y una frontera de informacin.
LA PARTE DE ENTRADA
Dentro de la gama izquierda la parte de entrada permite introducir los parmetros:

l primer parmetro es el perodo de observacin , por ejemplo, un da de trabajo o un
mes , etc Be- neath que la promedio de llegada, en relacin con el perodo indicado
antes, se le da .

El tercer parmetro es la pena una observacin especial. Aqu un menor que uno est
indicado . Este parmetro no tiene que ver nada con la lgica real de la planificacin de
la capacidad . Para el clculo de la red de Petri se desarroll internamente. Es decir, se
pasar por el principio neto original con el punto de partida a travs de la amplitud
primera bsqueda y para cada nodo y cada borde se proporciona una copia. Esto genera
una red desplegada , que no contiene ciclos .
Al recorrer la red original de un K valor se asigna a cada nodo , que se hace cada vez
ms pequea para cada repetida de alcanzar el mismo nodo . Los ciclos son en principio
infinitas veces han ido a travs de este modo . Por lo tanto, es necesaria la indicacin de
una condicin de interrupcin . Para cualquier nodo de la red de Petri con el K valor y
uno de sus bordes de salida con probabilidad p el camino termina cuando : K * <p .
Cuando se cumple esta condicin - que pasa tarde o temprano , sin duda - el algoritmo
se rompe , si no lo hace antes. Para el caso = 1 pueden ser considerados como la
precisin medi- Ure para los resultados .
Los resultados son la ms exacta , la es ms pequeo . Sin embargo, los clculos se
estn convirtiendo de ese modo ms complejo y se utiliza ms espacio de
almacenamiento . Tal vez el programa se interrumpe despus con un desbordamiento de
heap .
En el rango de derecho de la parte de entrada estn los botones , con el fin de iniciar el
clculo , para cambiar el modelo de tiempo o para cerrar el dilogo.

LA PARTE RESULTADO
En la parte consecuencia de los resultados se muestran en dos cuadros. En la tabla
superior se muestran las frecuencias de ejecucin y las exigencias de tiempo de las
transiciones

Adems la unidad de tiempo utilizada se indica. Con los botones o el nmero de
plazas-decisiones formales de los resultados de ambas tablas se puede ajustar entre 0 y
6. La tabla indica debajo de las exigencias de tiempo por cada clase de recurso y el
nmero calculado de recursos necesarios.

En el clculo de una utilizacin de 80% de todos los recursos de una clase de recurso Se
asume. Una vez ms otro valor se puede ajustar entre 5% y 100% en incrementos del 5
por o click-ing.
LA FRONTERA DE INFORMACIN
En la frontera de informacin se especifica el nmero de nodos en la red desplegada y
una estimacin aproximada del error relativo.

Esta informacin se puede utilizar para un cambio intencionado de la valor de umbral.
Por lo tanto, para redes de una dimensin similar a la del ejemplo, pero una estructura
de bucle ms complejo, el despliegue puede consistir de varios miles de nodos. Una
disminucin de con un decimal puede conducir entonces a la duracin segundo
cmputo-sev ral oa la cada del programa, debido a que carece de memoria.
En el ejemplo de la red original, posee 20 nodos. La red de despliegue con = 50 y =
0.001 consta de 77 nodos. La desviacin relativa asciende a 0,0%, redondeado en un
decimal.
ANOTACIN:
Dado que el ejemplo neto contiene un ciclo, para algunos nodos se calcula una
frecuencia de ejecucin menor que resultado analticamente correcto sera - porque el
desarrollo se interrumpi. El error de 0,0% son, por tanto, slo una estimacin y no
representa un resultado correcto al 100%. De hecho, la desviacin mxima es de 0,1%.
SIMULACIN
El dilogo de la simulacin es tan compacta dispuesto como para la planificacin de la
capacidad.

Llamar al dilogo
Calling es similar a la planificacin de la capacidad. Esto se hace haciendo clic en
en la barra de herramientas o por seleccin de la opcin de men o
presione

La comprobacin de la solidez de la red de flujo de trabajo tambin tiene lugar aqu y si
displays necesarios los mismos mensajes de error.
El cuadro de dilogo se compone esencialmente de dos partes, la parte de configuracin
de arriba y la parte resultado por debajo de ella. Est claro que es ms complejo que el
dilogo para la planificacin de la capacidad.


CONFIGURACIN DE PARTE
Aqu una serie de ajustes se puede hacer. Acciones se invocan pulsando en los botones.
Las diversas posibilidades de tomar el control se introducen en los prrafos siguientes.
PARMETROS GENERALES

Como es el caso para la capacidad de planificacin de la tasa de llegada media medido
en casos por perodo y la longitud del perodo de observacin se indican. Al aumentar la
longitud del perodo de la significacin de los resultados de la simulacin se puede
mejorar.
El ms largo es el perodo es, mejores sern los resultados. Sin embargo, el coste de
clculo se eleva enormemente y puede durar algn tiempo, hasta que se termina la
simulacin.
PARMETROS DE CONTROL DE FLUJO

El flujo de control de la simulacin es dirigido por una parte por la disciplina de cola y,
por otro lado, por la regla de terminacin.
La disciplina de colas se puede ajustar mediante la eleccin entre el primero en entrar,
primero en salir (FIFO) y ltimo en entrar, primero en salir (LIFO). As, el orden, en la
que se toman los casos que esperan fuera de la cola, es especificado. El valor
predeterminado es FIFO.
La terminacin de la simulacin se lleva a cabo, cuando la lista de eventos est vaca.
No es predecible, cuando este es el caso. Sin embargo, con el fin de ser capaz de
controlar la ruptura fuera, una regla de terminacin puede ser seleccionado. Existe la
posibilidad de elegir entre
- Terminar, si los casos o ms se han terminado o
- Terminar, si el tiempo de simulacin es mayor o igual que el perodo o
- Terminar tan pronto como el primero de estos dos casos se produce
Adems el nmero de corridas de simulacin puede ser indicada. Los resultados de las
carreras individuales de simulacin se almacenan. A la terminacin de la simulacin de
todo se ejecuta la operacin aritmtica medios se forman a continuacin. Se aplica
tambin en este caso, que la importancia de los resultados es la mejor, la ms carreras
de simulacin se realizan (Ley de los grandes nmeros). Al igual que con el perodo que
ha de notar, sin embargo, que la complejidad del clculo se eleva extremadamente.






DISTRIBUCIONES DE PROBABILIDAD




La distribucin del proceso de llegada y el tipo de distribucin
de los tiempos de servicio de los servidores (transiciones) se
pueden especificar. El procedimiento es igual para ambas
distribuciones. Existe la posibilidad de elegir entre
- Distribucin constante dentro de un intervalo
El parmetro es la longitud del intervalo relativa, un nmero
entero entre {0, 1, ..., 100}. Se relaciona con la tasa de llegada
media y medios, que el valor esperado est rodeado por un
intervalo simtrica de longitud 2. Dentro de este intervalo de
todos los valores tienen la misma probabilidad
.
- Distribucin de Poisson
El proceso de llegada tiene una distribucin de Poisson con
parmetro, donde es el perodo. A continuacin, los tiempos
entre llegadas de los casos sucesivos se distribuyen de forma
exponencial con el parmetro y la funcin de densidad
.
- Distribucin de Gauss
Las llegadas son normales distribuido con valor esperado y la desviacin tpica .

BOTONES
Los botones estn ubicados en el rea de la derecha.
Cuando se realizan todos los ajustes, la simulacin se puede iniciar
haciendo clic en [Inicio]. A continuacin, un dilogo que espera parece
que se pide al usuario que espere hasta que se realizan los clculos.
Al hacer clic en [Modelo Hora] permite al usuario cambiar las unidades de
tiempo, como se conoce a partir de la planificacin de la capacidad.
[Protocolo] se abre un cuadro de dilogo, en el que se muestra el
protocolo como texto sin formato. Puede ser almacenado como texto
ASCII dando el archivo de extensin "txt" o en el formato XML a travs
de apndices de "xml" en los nombres de archivo.



Con [exportacin] de los resultados, ya que se muestran en la parte resultado de las
tablas y los cuadros de dilogo de detalle, se exportan a un archivo CSV <nombre>.
Csv. Este formato de archivo se puede leer por los programas habituales de hoja de
clculo.
Adems los valores de las variables de control estadsticos de las corridas de simulacin
individuales se almacenan en otros archivos con los nombres <name_i>. Csv, por el que
i es el nmero de la ejecucin de la simulacin. De esta manera usted tiene la
posibilidad de analizar la simulacin ms exacta-mente.
13
El botn [Diagrama] se abre otro cuadro de dilogo, que le da una vista grfica de la
distribucin de los servidores con recursos a lo largo del tiempo de la simulacin.

Si el ratn se mantiene sobre una de las barras, aparecer un texto de ayuda, en la que el
ID de la caja de servicio y el inicio y fin se indican. Un identificador de caso con un
nmero entre parntesis detrs de l significa lo siguiente: Una vez y se divide varias
instancias de un caso estn siendo administrados de forma independiente el uno del
otro. Por lo tanto, se procesan las copias del caso original. Estas copias reciben
identificaciones sucesivas como los casos "normales". Con el fin de ser capaz de asignar
el caso a su funda original, su ID se indica entre parntesis detrs del ID de la copia. El
botn [Cerrar] cierra el dilogo de simulacin.
RESULTADO PARTE
Los resultados de la simulacin son medias aritmticas de los valores de las variables de
control de las corridas de simulacin individuales. Se les muestra una vez del proceso y
/ o vista de servidor en la primera tabla, y una vez a la vista de los recursos de la
segunda tabla.
PROCESO DE VISTA

Proceso y vista del servidor se resumen en la tabla superior. Los datos de proceso se
encuentran en la primera lnea. Al hacer clic en la ltima columna se abre un cuadro de
dilogo detalle con informacin especfica ms trmite. El significado de los ttulos de
las columnas estn orientados a las denominaciones que habitualmente se utilizan en la
teora ing queu-:

El dilogo de detalles aparece como sigue:


SERVIDOR VISTA
La vista de servidor es similar a la vista de proceso. Ms detalles se muestran en los
detalles de di-son:
(1) Cero retrasos: = nmero de casos que se inici el servicio sin tener que esperar
(2) Las llamadas: = nmero de casos llegados (tuvo que esperar si es necesario)
(3) Servicio de Casos comenz: = nmero de casos que se inici el servicio
(4) casos terminados: = nmero de casos que terminaron servicio = (2) - [(8) + (9)]
(5) Max. la longitud de la cola: = mayor nmero de casos que esperan
(6) Max. casos numricos paralelos: = mayor nmero de casos atendidos de forma
simultnea
(7) Max. tiempo de espera: = ms tiempo a los casos tuvieron que esperar
(8) Nmero de casos en los que se sirve la simulacin se detuvo: nmero de casos que
se sirve cuando se dio por terminada la simulacin = (3) - (4)
(9) Nmero de casos en espera cuando la simulacin se detuvo: nmero de casos en la
cola cuando se termin la ejecucin de la simulacin = (2) - (3)

RECURSOS VISTA

En la tabla a continuacin se muestran todos los recursos y sus tasas calculadas de
utilizacin en porcentaje se indican.