Documente Academic
Documente Profesional
Documente Cultură
1. Luis Fernando Rodriguez Giraldo. Ingeniero Electrónico UdeA. Estudiante Maestría en Automatización y
Control Industrial.
2. Roberto Carlos Guevara Calume. Ingeniero de Sistemas Universidad San Buenaventura. Estudiante Maestría
en Automatización y Control Industrial.
3. Diego Fernando Arroyave Berrio. Ingeniero Electrónico UdeA. Estudiante Maestría en Automatización y
Control Industrial.
Ambiente
• Java
Descripción:
Ambientes
• Sun, SunOS
• HP, HP-UX
• Silicon Graphics, IRIX
• PC, Linux
• PC, MS Windows NT
• PC, MS Windows 2000
• PC, MS Windows XP
Descripción:
Página principal:
http://www.lip6.fr/cpn-ami • Intercambio del formato de
fila
Disponibilidad: Gratuito • Servicios para la
modelización modular
Características:
Ambientes
Redes de Petri admitidos
• Linux
• Alto nivel de Redes de Petri • Macintosh
• Lugar / Redes de Transición
Descripción
Componentes
CPN-AMI 3.2 El entorno de la Red
• Editor gráfico de Petri se basa en la ingeniería de
• Simulación rápida software FrameKit: una plataforma
• Estados de Espacios genérica para la aplicación de
• Estado de Espacios entornos de ingeniería de software.
Condensados
• Lugares Invariantes
2.4. ExSpect procesos de negocio de manera
eficaz y eficiente.
Componentes:
Para apoyar un aspecto de modelo
• Editor gráfico orientado a la ingeniería, las clases
• Juego Animación de gráfico diferentes pueden ser
• Simulación rápida utilizadas de forma simultánea, y los
gráficos de las diferentes clases se
Ambientes pueden convertir en unos de otros.
• PC, Linux
• PC, MS Windows 2000 Snoopy ofrece algunas
• PC, MS Windows XP características (nodos de jerarquía,
• Macintosh, Mac OS X los nodos de lógica), que son
especialmente útiles para los
Descripción modelos más grandes, o los
modelos con un mayor grado de
Snoopy es una herramienta para conectividad.
diseñar y ejecutar (animado,
simular) gráfico jerárquico basado
• PC, Linux
• PC, MS DOS
• PC, OS/2
• PC, MS Windows 95
2.5. TAPAAL • PC, MS Windows 98
• PC, MS Windows NT
Descripción general • PC, MS Windows 2000
• PC, MS Windows XP
Pagina: http://www.tapaal.net • Macintosh, Mac OS
• Macintosh, Mac OS X
Disponibilidad: Gratuito • Java
Características Descripción
• MS Windows
Componentes
2.7. TimeNET
• Editor gráfico
Descripción general • Juego Animación
• Simulación rápida
Tool homepage: http://www.tu- • Lugares Invariantes
ilmenau.de/TimeNET • Análisis Estructural
• Simple análisis de
Disponibilidad: comercial (gratuito rendimiento
para instituciones académicas) • Análisis de Rendimiento
Avanzado
Características
Ambientes
Redes de Petri admitidos
• PC, Linux
• Alto nivel de Redes de Petri • PC, MS Windows XP
• Lugar / Redes de Transición
Descripción una sintaxis especial. Modelos con
escala de tiempo continua, así como
TimeNet es un paquete de software de tiempo discreto son compatibles.
para el modelado y la evaluación de
los SPN en el que los tiempos de El análisis estacionario es basado
cocción de las transiciones pueden en la teoría de Markov regenerativa.
ser distribuidos de manera Una cadena de Markov incrustado
exponencial, determinista, o más (EMC) es construido y resuelto. El
generalmente distribuidos. Los análisis transitorio se basa en el
modelos pueden ser especificados método de las variables
con una interfaz gráfica de usuario. complementarias.
Las medidas de resultado puede ser
definido en el modelo de nivel en
Características Descripción
• Lenguaje de programación
utilizando redes de Petri
2.9. GreatSPN
Descripción general
Componentes
Ambientes Características
Descripción Componentes
Componentes
• Editor gráfico
• Análisis Estructural
Descripción • Java
LA SIGUIENTE RELACIÓN
MUESTRA UNA LISTA DE HER-
RAMIENTAS DE REDES DE PETRI
QUE ÚNICAMENTE SE PUEDEN
OBTENER DE MANERA COMER-
CIAL, Y SU DIRECCIÓN EN LA IN-
TERNET:
1) ALPHA/Sim http://www.alphat-
ech.com/secondary/techpro/al-
phasim/alphasim.html
2) Artifex http://www.rsoftdesign.com
3) ExSpect http://www.exspect.com
4) F-net http://www.fi.ru/os/Petri.php3
5) GDToolkit http://www.dia.uniro-
ma3.it/ ~gdt/
6) GreatSPN http://www.di.uni-
to.it/~greatspn/
7) INCOME Process Designer
http://www.get-process.com