SlideShare a Scribd company logo
1 of 3
TAREAS E INVESTIGACIONES
Nombre: Lucero Martinez Fuentes No. Control: 14250238
Nombre del curso: Ingeniería de
software
Nombre del profesor: Navarrete
Prieto José Antonio
Unidad: 4 Actividad: tarea
Fecha: 10-05-15
Bibliografía: http://antares.itmorelia.edu.mx/~fmorales/SisDisII/aRedesPetri01.pdf
Título: QUE ES UNA RED PETRI.
Contenido: Es un modelo gráfico, formal y abstracto para describir y analizar el
flujo de información. El análisis de las Redes de Petri ayuda a mostrar
información importante sobre la estructura y el comportamiento dinámico de los
sistemas modelados. La teoría de las Redes de Petri permite la representación
matemática del sistema a ser modelado. Las Redes de Petri son de utilidad en
el diseño de sistemas de hardware y software, para especificación, simulación
y diseño de diversos problemas de ingeniería. Las Redes de Petri pueden
considerarse como autómatas formales o como generadores de lenguajes
formales y tienen asociación con la teoría de grafos. Son excelentes para
representar procesos concurrentes, así como, procesos donde pueden existir
restricciones sobre la concurrencia, precedencia, o frecuencia de esas
ocurrencias.
Definiciones Básicas. Las Redes de Petri están compuestas de cuatro
componentes básicos que forman su estructura: Un conjunto de plazas P, un
conjunto de transiciones T, la función de entrada I, y la función de salida O. Las
funciones de entrada y salida relacionan las transiciones y las plazas. La
función de entrada I es un mapeo a partir del conjunto de plazas de entrada
hacia la transición tj, la función se puede escribir como I(tj). La función de
TAREAS E INVESTIGACIONES
salida O es un mapeo a partir de la transición tj hacia el conjunto de plazas de
salida, la función de salida se puede escribir como O(tj). DEFINICION: Una
estructura de Red de Petri RP, es una cuarteta RP = (P, T, I, O), donde: 1.
P={p1,p2,...,pn} es un conjunto finito de plazas, n≥1. 2. T={t1,t2,...,tm} es un
conjunto finito de transiciones m≥ 1. 3. El conjunto de plazas y el conjunto de
transiciones son disyunciones; entonces, R∪T ≠ 0 y P∩T = 0 4. I:P⇒T es la
función de entrada, un mapeo desde las plazas de entrada hacia el conjunto de
transiciones. 5. O:T⇒P es la función de salida, un mapeo desde las
transiciones hacia el conjunto de plazas de salida. La cardinalidad del conjunto
P es n, y la cardinalidad del conjunto T es m; n,m ∈ N (N en los números
naturales). Un elemento arbitrario de P es pi, donde i=1,. . .,n, y un elemento
arbitrario de T es tj, donde j=1,...,m.
Grafo de la Red de Petri. Una representación gráfica de una Red de Petri es
de gran utilidad para ilustrar los conceptos de la teoría de las Redes de Petri.
En el grafo de la Red de Petri existen dos tipos de nodos que corresponden a
las plazas y transiciones, representadas por círculos y barras respectivamente
(, ). Las funciones de entrada y salida se representan por arcos dirigidos desde
las plazas a las transiciones y desde las transiciones a las plazas ( ).
Un arco es dirigido desde una plaza pi hasta una transición tj si la plaza es una
entrada hacia la transición. Similarmente, un arco es dirigido desde una
transición tj hacia una plaza pi si la plaza es una salida desde la transición.
Debido a que los arcos tienen dirección, entonces el grafo de la Red de Petri es
del tipo Grafo Dirigido.
Ventajas y Desventajas Ventajas El sistema completo frecuentemente es
fácil de entender debido a la naturaleza gráfica y precisa del esquema de
representación. El comportamiento del sistema se puede analizar usando la
teoría de red de Petri. Puesto que las redes de Petri pueden ser sintetizadas
usando los enfoques ascendente (bottom-up) y descendente (top-down), es
posible especificar sistemáticamente aquellos sistemas cuyo comportamiento
es conocido o fácilmente verificable.
Desventajas Las redes de Petri generales no pueden modelar ciertas
situaciones de prioridad. En general, el problema de alcanzabilidad en redes
de Petri, aunque decidible, se ha visto, que es de tiempo exponencial y fuerte
consumidor de espacio.
TAREAS E INVESTIGACIONES
Comentario: una red Petri es un modelo gráfico, formal y abstracto para
describir y analizar la información.

More Related Content

What's hot

Caracteristicas del modelo orientado a objetos
Caracteristicas del modelo orientado a objetosCaracteristicas del modelo orientado a objetos
Caracteristicas del modelo orientado a objetosJose Diaz Silva
 
Ensayo pilas-estructura-dtos
Ensayo pilas-estructura-dtosEnsayo pilas-estructura-dtos
Ensayo pilas-estructura-dtosCris Arevalo
 
03 Modelo Relacional
03 Modelo Relacional03 Modelo Relacional
03 Modelo RelacionalKudos S.A.S
 
Mapa conceptual de colas
Mapa conceptual de colasMapa conceptual de colas
Mapa conceptual de colashidalgohh
 
Diagramas De Despligue Uml
Diagramas De Despligue UmlDiagramas De Despligue Uml
Diagramas De Despligue Umlarcangelsombra
 
Analisis Y DiseñO Orientado A Objetos
Analisis Y DiseñO Orientado A ObjetosAnalisis Y DiseñO Orientado A Objetos
Analisis Y DiseñO Orientado A Objetosyoiner santiago
 
Pilas como estructura de datos..
Pilas como estructura de datos..Pilas como estructura de datos..
Pilas como estructura de datos..NANO-06
 
Diagramas de caso de uso
Diagramas de caso de usoDiagramas de caso de uso
Diagramas de caso de usoTensor
 
Diccionario de datos en los sistemas de información
Diccionario de datos en los sistemas de informaciónDiccionario de datos en los sistemas de información
Diccionario de datos en los sistemas de informaciónYaskelly Yedra
 
Normalizacion de bases de datos
Normalizacion de bases de datosNormalizacion de bases de datos
Normalizacion de bases de datosCaro_Noirgean
 
Notación infija postfija
Notación infija postfijaNotación infija postfija
Notación infija postfijaOmarzingm
 
Bases de Datos Semanticas
Bases de Datos SemanticasBases de Datos Semanticas
Bases de Datos SemanticasErik Guerrero
 
Requerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No FuncionalesRequerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No FuncionalesCarlos Macallums
 

What's hot (20)

Modelo de datos
Modelo de datosModelo de datos
Modelo de datos
 
Modelo relacional
Modelo relacionalModelo relacional
Modelo relacional
 
Estructura datos pilas y colas
Estructura datos pilas y colasEstructura datos pilas y colas
Estructura datos pilas y colas
 
Caracteristicas del modelo orientado a objetos
Caracteristicas del modelo orientado a objetosCaracteristicas del modelo orientado a objetos
Caracteristicas del modelo orientado a objetos
 
Ensayo pilas-estructura-dtos
Ensayo pilas-estructura-dtosEnsayo pilas-estructura-dtos
Ensayo pilas-estructura-dtos
 
Modelos uml compras v4
Modelos uml compras v4Modelos uml compras v4
Modelos uml compras v4
 
Tutorial de JFLAP
Tutorial de JFLAPTutorial de JFLAP
Tutorial de JFLAP
 
03 Modelo Relacional
03 Modelo Relacional03 Modelo Relacional
03 Modelo Relacional
 
Mapa conceptual de colas
Mapa conceptual de colasMapa conceptual de colas
Mapa conceptual de colas
 
Diagramas De Despligue Uml
Diagramas De Despligue UmlDiagramas De Despligue Uml
Diagramas De Despligue Uml
 
Búsqueda secuencial y binaria
Búsqueda secuencial y binariaBúsqueda secuencial y binaria
Búsqueda secuencial y binaria
 
Analisis Y DiseñO Orientado A Objetos
Analisis Y DiseñO Orientado A ObjetosAnalisis Y DiseñO Orientado A Objetos
Analisis Y DiseñO Orientado A Objetos
 
Pilas como estructura de datos..
Pilas como estructura de datos..Pilas como estructura de datos..
Pilas como estructura de datos..
 
Cuestionario diagrama de clases
Cuestionario diagrama de clasesCuestionario diagrama de clases
Cuestionario diagrama de clases
 
Diagramas de caso de uso
Diagramas de caso de usoDiagramas de caso de uso
Diagramas de caso de uso
 
Diccionario de datos en los sistemas de información
Diccionario de datos en los sistemas de informaciónDiccionario de datos en los sistemas de información
Diccionario de datos en los sistemas de información
 
Normalizacion de bases de datos
Normalizacion de bases de datosNormalizacion de bases de datos
Normalizacion de bases de datos
 
Notación infija postfija
Notación infija postfijaNotación infija postfija
Notación infija postfija
 
Bases de Datos Semanticas
Bases de Datos SemanticasBases de Datos Semanticas
Bases de Datos Semanticas
 
Requerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No FuncionalesRequerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No Funcionales
 

Viewers also liked (20)

Red de Petri
Red de Petri Red de Petri
Red de Petri
 
Redes de-petri-2
Redes de-petri-2Redes de-petri-2
Redes de-petri-2
 
Expo rse
Expo rseExpo rse
Expo rse
 
La contaminación ambiental
La contaminación ambientalLa contaminación ambiental
La contaminación ambiental
 
Presentación1
Presentación1Presentación1
Presentación1
 
Trabajo de informatica
Trabajo de informaticaTrabajo de informatica
Trabajo de informatica
 
Redes Sociales
Redes SocialesRedes Sociales
Redes Sociales
 
la tecnoligia
la tecnoligiala tecnoligia
la tecnoligia
 
Administracion
AdministracionAdministracion
Administracion
 
Presentacion psicologia
Presentacion psicologiaPresentacion psicologia
Presentacion psicologia
 
Sistemas informáticos - Tommy Andres Reyes
Sistemas informáticos - Tommy Andres Reyes Sistemas informáticos - Tommy Andres Reyes
Sistemas informáticos - Tommy Andres Reyes
 
1.los reinos
1.los reinos1.los reinos
1.los reinos
 
Formulación y nomenclatura inorgánica
Formulación y nomenclatura inorgánicaFormulación y nomenclatura inorgánica
Formulación y nomenclatura inorgánica
 
Joselo modelos
Joselo modelosJoselo modelos
Joselo modelos
 
KAROLAY HERNANDEZ
KAROLAY HERNANDEZKAROLAY HERNANDEZ
KAROLAY HERNANDEZ
 
Canto pra ti
Canto pra tiCanto pra ti
Canto pra ti
 
Riesgos en la empresa 3 corte
Riesgos en la empresa 3 corteRiesgos en la empresa 3 corte
Riesgos en la empresa 3 corte
 
Seminario 3 pp
Seminario 3 ppSeminario 3 pp
Seminario 3 pp
 
Powerpoint tic
Powerpoint ticPowerpoint tic
Powerpoint tic
 
Compasión
CompasiónCompasión
Compasión
 

Similar to Que es una red petri

Conversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferenciaConversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferenciaAlejandro Flores
 
Exposición de las matrices en el campo de la electrónica por Abigail Simba
Exposición de las matrices en el campo de la electrónica por Abigail SimbaExposición de las matrices en el campo de la electrónica por Abigail Simba
Exposición de las matrices en el campo de la electrónica por Abigail Simbaabigailsimba
 
Presentación1 MATEMATICA III
Presentación1 MATEMATICA IIIPresentación1 MATEMATICA III
Presentación1 MATEMATICA IIIneomarsalazar
 
Diagnóstico de fallas utilizando un algoritmo basado en Redes de Petri
Diagnóstico de fallas utilizando un algoritmo basado en Redes de PetriDiagnóstico de fallas utilizando un algoritmo basado en Redes de Petri
Diagnóstico de fallas utilizando un algoritmo basado en Redes de PetriAlex Arredondo
 
Verificación de Protocolos
Verificación de ProtocolosVerificación de Protocolos
Verificación de ProtocolosDiego Peralta
 
INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...
INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...
INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...braguies
 
Utp ia_s4_red perceptron
 Utp ia_s4_red perceptron Utp ia_s4_red perceptron
Utp ia_s4_red perceptronjcbp_peru
 
Utp 2015-2_ia_s4_red perceptron
 Utp 2015-2_ia_s4_red perceptron Utp 2015-2_ia_s4_red perceptron
Utp 2015-2_ia_s4_red perceptronjcbp_peru
 
Utp 2015-2_sirn_s4_red perceptron
 Utp 2015-2_sirn_s4_red perceptron Utp 2015-2_sirn_s4_red perceptron
Utp 2015-2_sirn_s4_red perceptronjcbp_peru
 
análisis de señales- Ensayo función determinística, función escalón, función ...
análisis de señales- Ensayo función determinística, función escalón, función ...análisis de señales- Ensayo función determinística, función escalón, función ...
análisis de señales- Ensayo función determinística, función escalón, función ...Veronica Montilla
 
Utp sirn_s3_red perceptron
 Utp sirn_s3_red perceptron Utp sirn_s3_red perceptron
Utp sirn_s3_red perceptronc09271
 
Ecuaciones paramétricas
Ecuaciones paramétricas Ecuaciones paramétricas
Ecuaciones paramétricas Elixhg
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxSANTOS400018
 
Utp ia_2014-2_s4_red perceptron
 Utp ia_2014-2_s4_red perceptron Utp ia_2014-2_s4_red perceptron
Utp ia_2014-2_s4_red perceptronhiperu2005
 
G19 funcion de transferencia y diagrama de bode
G19 funcion de transferencia y diagrama de bodeG19 funcion de transferencia y diagrama de bode
G19 funcion de transferencia y diagrama de bodeRoslyn Cruz Castro
 

Similar to Que es una red petri (20)

Petri 1
Petri 1Petri 1
Petri 1
 
Conversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferenciaConversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferencia
 
Exposición de las matrices en el campo de la electrónica por Abigail Simba
Exposición de las matrices en el campo de la electrónica por Abigail SimbaExposición de las matrices en el campo de la electrónica por Abigail Simba
Exposición de las matrices en el campo de la electrónica por Abigail Simba
 
Presentación1 MATEMATICA III
Presentación1 MATEMATICA IIIPresentación1 MATEMATICA III
Presentación1 MATEMATICA III
 
126 tema ii-laplace
126 tema ii-laplace126 tema ii-laplace
126 tema ii-laplace
 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
 
Diagnóstico de fallas utilizando un algoritmo basado en Redes de Petri
Diagnóstico de fallas utilizando un algoritmo basado en Redes de PetriDiagnóstico de fallas utilizando un algoritmo basado en Redes de Petri
Diagnóstico de fallas utilizando un algoritmo basado en Redes de Petri
 
Función de transferencia
Función de transferenciaFunción de transferencia
Función de transferencia
 
Verificación de Protocolos
Verificación de ProtocolosVerificación de Protocolos
Verificación de Protocolos
 
INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...
INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...
INSTITUTO TECNOLÓGICO SUPERIOR DE SAN MARTIN TEXMELUCAN CARRERA INGENIERÍA IN...
 
Ctrlcontinuo
CtrlcontinuoCtrlcontinuo
Ctrlcontinuo
 
Utp ia_s4_red perceptron
 Utp ia_s4_red perceptron Utp ia_s4_red perceptron
Utp ia_s4_red perceptron
 
Utp 2015-2_ia_s4_red perceptron
 Utp 2015-2_ia_s4_red perceptron Utp 2015-2_ia_s4_red perceptron
Utp 2015-2_ia_s4_red perceptron
 
Utp 2015-2_sirn_s4_red perceptron
 Utp 2015-2_sirn_s4_red perceptron Utp 2015-2_sirn_s4_red perceptron
Utp 2015-2_sirn_s4_red perceptron
 
análisis de señales- Ensayo función determinística, función escalón, función ...
análisis de señales- Ensayo función determinística, función escalón, función ...análisis de señales- Ensayo función determinística, función escalón, función ...
análisis de señales- Ensayo función determinística, función escalón, función ...
 
Utp sirn_s3_red perceptron
 Utp sirn_s3_red perceptron Utp sirn_s3_red perceptron
Utp sirn_s3_red perceptron
 
Ecuaciones paramétricas
Ecuaciones paramétricas Ecuaciones paramétricas
Ecuaciones paramétricas
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
 
Utp ia_2014-2_s4_red perceptron
 Utp ia_2014-2_s4_red perceptron Utp ia_2014-2_s4_red perceptron
Utp ia_2014-2_s4_red perceptron
 
G19 funcion de transferencia y diagrama de bode
G19 funcion de transferencia y diagrama de bodeG19 funcion de transferencia y diagrama de bode
G19 funcion de transferencia y diagrama de bode
 

Recently uploaded

Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024IES Vicent Andres Estelles
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...JAVIER SOLIS NOYOLA
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICAÁngel Encinas
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.docRodneyFrankCUADROSMI
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfAlfaresbilingual
 
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSSEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSYadi Campos
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOluismii249
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxlclcarmen
 
Abril 2024 - Maestra Jardinera Ediba.pdf
Abril 2024 -  Maestra Jardinera Ediba.pdfAbril 2024 -  Maestra Jardinera Ediba.pdf
Abril 2024 - Maestra Jardinera Ediba.pdfValeriaCorrea29
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfMercedes Gonzalez
 

Recently uploaded (20)

Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLAACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
ACERTIJO DE POSICIÓN DE CORREDORES EN LA OLIMPIADA. Por JAVIER SOLIS NOYOLA
 
Tema 11. Dinámica de la hidrosfera 2024
Tema 11.  Dinámica de la hidrosfera 2024Tema 11.  Dinámica de la hidrosfera 2024
Tema 11. Dinámica de la hidrosfera 2024
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
Power Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptxPower Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptx
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdf
 
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdfTema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VSSEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
SEPTIMO SEGUNDO PERIODO EMPRENDIMIENTO VS
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
Abril 2024 - Maestra Jardinera Ediba.pdf
Abril 2024 -  Maestra Jardinera Ediba.pdfAbril 2024 -  Maestra Jardinera Ediba.pdf
Abril 2024 - Maestra Jardinera Ediba.pdf
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
 

Que es una red petri

  • 1. TAREAS E INVESTIGACIONES Nombre: Lucero Martinez Fuentes No. Control: 14250238 Nombre del curso: Ingeniería de software Nombre del profesor: Navarrete Prieto José Antonio Unidad: 4 Actividad: tarea Fecha: 10-05-15 Bibliografía: http://antares.itmorelia.edu.mx/~fmorales/SisDisII/aRedesPetri01.pdf Título: QUE ES UNA RED PETRI. Contenido: Es un modelo gráfico, formal y abstracto para describir y analizar el flujo de información. El análisis de las Redes de Petri ayuda a mostrar información importante sobre la estructura y el comportamiento dinámico de los sistemas modelados. La teoría de las Redes de Petri permite la representación matemática del sistema a ser modelado. Las Redes de Petri son de utilidad en el diseño de sistemas de hardware y software, para especificación, simulación y diseño de diversos problemas de ingeniería. Las Redes de Petri pueden considerarse como autómatas formales o como generadores de lenguajes formales y tienen asociación con la teoría de grafos. Son excelentes para representar procesos concurrentes, así como, procesos donde pueden existir restricciones sobre la concurrencia, precedencia, o frecuencia de esas ocurrencias. Definiciones Básicas. Las Redes de Petri están compuestas de cuatro componentes básicos que forman su estructura: Un conjunto de plazas P, un conjunto de transiciones T, la función de entrada I, y la función de salida O. Las funciones de entrada y salida relacionan las transiciones y las plazas. La función de entrada I es un mapeo a partir del conjunto de plazas de entrada hacia la transición tj, la función se puede escribir como I(tj). La función de
  • 2. TAREAS E INVESTIGACIONES salida O es un mapeo a partir de la transición tj hacia el conjunto de plazas de salida, la función de salida se puede escribir como O(tj). DEFINICION: Una estructura de Red de Petri RP, es una cuarteta RP = (P, T, I, O), donde: 1. P={p1,p2,...,pn} es un conjunto finito de plazas, n≥1. 2. T={t1,t2,...,tm} es un conjunto finito de transiciones m≥ 1. 3. El conjunto de plazas y el conjunto de transiciones son disyunciones; entonces, R∪T ≠ 0 y P∩T = 0 4. I:P⇒T es la función de entrada, un mapeo desde las plazas de entrada hacia el conjunto de transiciones. 5. O:T⇒P es la función de salida, un mapeo desde las transiciones hacia el conjunto de plazas de salida. La cardinalidad del conjunto P es n, y la cardinalidad del conjunto T es m; n,m ∈ N (N en los números naturales). Un elemento arbitrario de P es pi, donde i=1,. . .,n, y un elemento arbitrario de T es tj, donde j=1,...,m. Grafo de la Red de Petri. Una representación gráfica de una Red de Petri es de gran utilidad para ilustrar los conceptos de la teoría de las Redes de Petri. En el grafo de la Red de Petri existen dos tipos de nodos que corresponden a las plazas y transiciones, representadas por círculos y barras respectivamente (, ). Las funciones de entrada y salida se representan por arcos dirigidos desde las plazas a las transiciones y desde las transiciones a las plazas ( ). Un arco es dirigido desde una plaza pi hasta una transición tj si la plaza es una entrada hacia la transición. Similarmente, un arco es dirigido desde una transición tj hacia una plaza pi si la plaza es una salida desde la transición. Debido a que los arcos tienen dirección, entonces el grafo de la Red de Petri es del tipo Grafo Dirigido. Ventajas y Desventajas Ventajas El sistema completo frecuentemente es fácil de entender debido a la naturaleza gráfica y precisa del esquema de representación. El comportamiento del sistema se puede analizar usando la teoría de red de Petri. Puesto que las redes de Petri pueden ser sintetizadas usando los enfoques ascendente (bottom-up) y descendente (top-down), es posible especificar sistemáticamente aquellos sistemas cuyo comportamiento es conocido o fácilmente verificable. Desventajas Las redes de Petri generales no pueden modelar ciertas situaciones de prioridad. En general, el problema de alcanzabilidad en redes de Petri, aunque decidible, se ha visto, que es de tiempo exponencial y fuerte consumidor de espacio.
  • 3. TAREAS E INVESTIGACIONES Comentario: una red Petri es un modelo gráfico, formal y abstracto para describir y analizar la información.