Woped Tutorial Trad.

16
OBSERVACIONES GENERALES Este documento tiene por objeto explicar el manejo del análisis cuantitativo func-dad dentro WoPeD. Hay dos métodos de análisis cuantitativo: el algoritmo de planificación de la capacidad, ya que puede conocer desde van der Aalst y la simulación (cuantitativo) van Hee y. EXTENSIONES DE MODELOS Con el fin de ser capaz de lograr el análisis cuantitativo, una red de flujo de trabajo debe ser complementado con datos estadísticos. Esos son en detalle: - Los tiempos de servicio promedio de transiciones - Probabilidades divididas en divisiones XOR - Asignación de un grupo y un papel para todas las transiciones, que utilizan recursos Los datos necesarios se pueden dar en las propiedades de los diálogos de las transiciones y / o los arcos y también se pueden cambiar más adelante. PROPIEDADES DE TRANSICIÓN 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.

Transcript of Woped Tutorial Trad.

Page 1: Woped Tutorial Trad.

OBSERVACIONES GENERALES Este documento tiene por objeto explicar el manejo del análisis cuantitativo func-dad dentro WoPeD. Hay dos métodos de análisis cuantitativo: el algoritmo de planificación de la capacidad, ya que puede conocer desde van der Aalst y la simulación (cuantitativo) van Hee y. EXTENSIONES DE MODELOS Con el fin de ser capaz de lograr el análisis cuantitativo, una red de flujo de trabajo debe ser complementado con datos estadísticos. Esos son en detalle: - Los tiempos de servicio promedio de transiciones - Probabilidades divididas en divisiones XOR - Asignación de un grupo y un papel para todas las transiciones, que utilizan recursos

Los datos necesarios se pueden dar en las propiedades de los diálogos de las transiciones y / o los arcos y también se pueden cambiar más adelante.

PROPIEDADES DE TRANSICIÓNEn primer lugar el gatillo de recursos debe ser seleccionado. Entonces, el tiempo promedio de servicio se puede introducir en el campo de texto correspondiente. Además, la unidad de tiempo se puede seleccionar en el campo de lista de combinación de acompañamiento. Dentro del editor de el tiempo de servicio aparece como número verde en la transición. A continuación el valor actual de un símbolo para la unidad de tiempo se indica

Page 2: Woped Tutorial Trad.

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

Con XOR transiciones divididas las probabilidades de división se pueden introducir en las propiedades de arco de diálogo. Esos son números enteros entre 0 y 100. Es de hecho la certeza de que la suma de todas las probabilidades de una transición es igual a 100%. Además, 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 cálculos todos los datos numeri-cal se deben convertir, por tanto, en una unidad de tiempo. Por lo tanto la unidad de tiempo estándar se puede cambiar en un cuadro de diálogo.

La unidad de tiempo por defecto es de 1 minuto. También tienes la posibilidad de elegir las unidades de tiempo más usuales como 1 semana o 30 segundos, etc Los resultados del análisis cuantitativo se luego ser entendido como múltiplo de estas unidades.

Page 3: Woped Tutorial Trad.

Además se pueden especificar los factores de conversión más realistas. De allí tendría que trabajar por ejemplo con 1 día de trabajo de 8 horas y 5 días de trabajo por semana.

Después de hacer clic en el botón [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 transición de costumbre y que se le debe asignar un tiempo promedio de servicio de forma explícita.

Planificación de la capacidad

Al principio se describe el funcionamiento del diálogo para la planificación de la capacidad.

.

Llamar al diálogo

La planificación de la capacidad de diálogo se puede iniciar haciendo clic en la cinta 'Analizar'.

Page 4: Woped Tutorial Trad.

El diálogo para la planificación de la capacidad sólo se puede abrir, si hay una red de flujo de trabajo semántico y sin-tácticamente correcta en el editor. Para ello se lleva a cabo un examen interno, que el usuario normalmente no reconoce. Sin embargo, dos errores típicos 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 división del 100%. Si no se cambian o si su suma no es exactamente el 100%, un mensaje de error aún sigue:

Cuando no hay errores del cuadro de diálogo aparece. Es un cuadro de diálogo modal, es decir, ventanas subyacentes no pueden ser alcanzados hasta la planificación de la capacidad está cerrado. Esto es para evitar que durante el análisis del modelo en el editor se cambia o se abre otra red. La interfaz gráfica de usuario del cuadro de diálogo consta de tres partes: la parte de entrada, la parte de resultados y una frontera de información. LA PARTE DE ENTRADA Dentro de la gama izquierda la parte de entrada permite introducir los parámetros:

él primer parámetro es el período de observación , por ejemplo, un día de trabajo o un mes , etc Be- neath que la λ promedio de llegada, en relación con el período indicado antes, se le da .

El tercer parámetro es la pena una observación especial. Aquí un ε menor que uno está indicado . Este parámetro no tiene que ver nada con la lógica real de la planificación de la capacidad . Para el cálculo de la red de Petri se desarrolló internamente. Es decir, se pasará por el principio neto original con el punto de partida a través de la amplitud primera búsqueda 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 más pequeña para cada repetida de alcanzar el mismo nodo . Los ciclos son en principio infinitas veces han ido a través de este modo . Por lo tanto, es necesaria la indicación de

Page 5: Woped Tutorial Trad.

una condición de interrupción . 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 condición - 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 precisión medi- Ure para los resultados .Los resultados son la más exacta , la ε es más pequeño . Sin embargo, los cálculos se están convirtiendo de ese modo más complejo y se utiliza más espacio de almacenamiento . Tal vez el programa se interrumpe después con un desbordamiento de heap .En el rango de derecho de la parte de entrada están los botones , con el fin de iniciar el cálculo , para cambiar el modelo de tiempo o para cerrar el diálogo.

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

Además la unidad de tiempo utilizada se indica. Con los botones o el número 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 número calculado de recursos necesarios.

En el cálculo de una utilización de 80% de todos los recursos de una clase de recurso Se asume. Una vez más otro valor se puede ajustar entre 5% y 100% en incrementos del 5

por o click-ing. LA FRONTERA DE INFORMACIÓN En la frontera de información se especifica el número de nodos en la red desplegada y una estimación aproximada del error relativo.

Page 6: Woped Tutorial Trad.

Esta información se puede utilizar para un cambio intencionado de la ε valor de umbral. Por lo tanto, para redes de una dimensión similar a la del ejemplo, pero una estructura de bucle más complejo, el despliegue puede consistir de varios miles de nodos. Una disminución de ε con un decimal puede conducir entonces a la duración segundo cómputo-sev ral oa la caída 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 desviación relativa asciende a 0,0%, redondeado en un decimal. ANOTACIÓN: Dado que el ejemplo neto contiene un ciclo, para algunos nodos se calcula una frecuencia de ejecución menor que resultado analíticamente correcto sería - porque el desarrollo se interrumpió. El error de 0,0% son, por tanto, sólo una estimación y no representa un resultado correcto al 100%. De hecho, la desviación máxima es de 0,1%.SIMULACIÓN El diálogo de la simulación es tan compacta dispuesto como para la planificación de la capacidad.

Llamar al diálogo

Calling es similar a la planificación de la capacidad. Esto se hace haciendo clic en

Page 7: Woped Tutorial Trad.

en la barra de herramientas o por selección de la opción de menú o

presione

La comprobación de la solidez de la red de flujo de trabajo también tiene lugar aquí y si displays necesarios los mismos mensajes de error. El cuadro de diálogo se compone esencialmente de dos partes, la parte de configuración de arriba y la parte resultado por debajo de ella. Está claro que es más complejo que el diálogo para la planificación de la capacidad.

CONFIGURACIÓN 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 párrafos siguientes. PARÁMETROS GENERALES

Como es el caso para la capacidad de planificación de la tasa de llegada media λ medido en casos por período y la longitud del período de observación se indican. Al aumentar la longitud del período de la significación de los resultados de la simulación se puede mejorar. El más largo es el período es, mejores serán los resultados. Sin embargo, el coste de cálculo se eleva enormemente y puede durar algún tiempo, hasta que se termina la simulación. PARÁMETROS DE CONTROL DE FLUJO

El flujo de control de la simulación es dirigido por una parte por la disciplina de cola y, por otro lado, por la regla de terminación. La disciplina de colas se puede ajustar mediante la elección 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 terminación de la simulación se lleva a cabo, cuando la lista de eventos está vacía. No es predecible, cuando este es el caso. Sin embargo, con el fin de ser capaz de

Page 8: Woped Tutorial Trad.

controlar la ruptura fuera, una regla de terminación puede ser seleccionado. Existe la posibilidad de elegir entre - Terminar, si los casos λ o más se han terminado o - Terminar, si el tiempo de simulación es mayor o igual que el período o - Terminar tan pronto como el primero de estos dos casos se produce Además el número de corridas de simulación puede ser indicada. Los resultados de las carreras individuales de simulación se almacenan. A la terminación de la simulación de todo se ejecuta la operación aritmética medios se forman a continuación. Se aplica también en este caso, que la importancia de los resultados es la mejor, la más carreras de simulación se realizan (Ley de los grandes números). Al igual que con el período que ha de notar, sin embargo, que la complejidad del cálculo se eleva extremadamente.

DISTRIBUCIONES DE PROBABILIDAD

La distribución del proceso de llegada y el tipo de distribución 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 - Distribución constante dentro de un intervalo El parámetro es la longitud del intervalo ς relativa, un número entero entre {0, 1, ..., 100}. Se relaciona con la tasa de llegada media λ y medios, que el valor esperado λ está rodeado por un intervalo simétrica de longitud 2ςλ. Dentro de este intervalo de

todos los valores tienen la misma probabilidad . - Distribución de Poisson El proceso de llegada tiene una distribución de Poisson con λπ parámetro, donde π es el período. A continuación, los tiempos entre llegadas de los casos sucesivos se distribuyen de forma

exponencial con el parámetro y la función de densidad

. - Distribución de Gauss Las llegadas son normales distribuido con λ valor esperado y la desviación típica σ.

Page 9: Woped Tutorial Trad.

BOTONES Los botones están ubicados en el área de la derecha. Cuando se realizan todos los ajustes, la simulación se puede iniciar haciendo clic en [Inicio]. A continuación, un diálogo que espera parece que se pide al usuario que espere hasta que se realizan los cálculos. Al hacer clic en [Modelo Hora] permite al usuario cambiar las unidades de tiempo, como se conoce a partir de la planificación de la capacidad. [Protocolo] se abre un cuadro de diálogo, en el que se muestra el protocolo como texto sin formato. Puede ser almacenado como texto ASCII dando el archivo de extensión "txt" o en el formato XML a través de apéndices de "xml" en los nombres de archivo.

Con [exportación] de los resultados, ya que se muestran en la parte resultado de las tablas y los cuadros de diálogo de detalle, se exportan a un archivo CSV <nombre>. Csv. Este formato de archivo se puede leer por los programas habituales de hoja de cálculo. Además los valores de las variables de control estadísticos de las corridas de simulación individuales se almacenan en otros archivos con los nombres <name_i>. Csv, por el que i es el número de la ejecución de la simulación. De esta manera usted tiene la posibilidad de analizar la simulación más exacta-mente.

Page 10: Woped Tutorial Trad.

13 El botón [Diagrama] se abre otro cuadro de diálogo, que le da una vista gráfica de la distribución de los servidores con recursos a lo largo del tiempo de la simulación.

Si el ratón 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 número entre paréntesis detrás de él significa lo siguiente: Una vez y se divide varias instancias de un caso están 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 paréntesis detrás del ID de la copia. El botón [Cerrar] cierra el diálogo de simulación. RESULTADO PARTE Los resultados de la simulación son medias aritméticas de los valores de las variables de control de las corridas de simulación 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 línea. Al hacer clic en la última columna se abre un cuadro de diálogo detalle con información específica más trámite. El significado de los títulos de las columnas están orientados a las denominaciones que habitualmente se utilizan en la teoría ing queu-:

Page 11: Woped Tutorial Trad.

El diálogo de detalles aparece como sigue:

SERVIDOR VISTA La vista de servidor es similar a la vista de proceso. Más detalles se muestran en los detalles de diá-son: (1) Cero retrasos: = número de casos que se inició el servicio sin tener que esperar (2) Las llamadas: = número de casos llegados (tuvo que esperar si es necesario) (3) Servicio de Casos comenzó: = número de casos que se inició el servicio (4) casos terminados: = número de casos que terminaron servicio = (2) - [(8) + (9)] (5) Max. la longitud de la cola: = mayor número de casos que esperan (6) Max. casos numéricos paralelos: = mayor número de casos atendidos de forma simultánea (7) Max. tiempo de espera: = más tiempo a los casos tuvieron que esperar (8) Número de casos en los que se sirve la simulación se detuvo: número de casos que se sirve cuando se dio por terminada la simulación = (3) - (4) (9) Número de casos en espera cuando la simulación se detuvo: número de casos en la cola cuando se terminó la ejecución de la simulación = (2) - (3)

RECURSOS VISTA

Page 12: Woped Tutorial Trad.

En la tabla a continuación se muestran todos los recursos y sus tasas calculadas de utilización en porcentaje se indican.