Representadas por barras o rectángulos, simbolizan eventos o acciones que provocan cambios de estado.
Una Red de Petri se define como un grafo bipartito dirigido compuesto por:
Si añadimos reponerA : dispara cuando A=0 y pone A=1 (consumiendo quizás un token de "pedido"? No, mejor dejamos que reponerA sea siempre posible, pero eso rompe el realismo. En ejercicios resueltos típicos se usa un lugar "fuente" con infinitas fichas).
: Un sistema de control de acceso permite hasta 3 personas dentro de una sala. Cuando la sala está llena, la puerta se bloquea para nuevas entradas. Modele con una red de Petri e indique si es segura y viva. redes de petri ejercicios resueltos
Lugares:
Flechas que conectan lugares con transiciones (o viceversa), indicando la dirección del flujo. No se pueden conectar dos lugares o dos transiciones entre sí directamente.
Una es un modelo matemático y gráfico para describir sistemas distribuidos, concurrentes, asíncronos, paralelos, no deterministas y/o estocásticos. Se usa en ingeniería de software, sistemas de fabricación, protocolos de comunicación, etc. En ejercicios resueltos típicos se usa un lugar
Abrir válvula de salida hasta que el sensor inferior detecte que el tanque está vacío, regresando al estado inicial. Propiedades y Análisis para la Resolución
Sin embargo, la teoría puede resultar abstracta sin la práctica adecuada. Por eso, en este artículo encontrarás una colección de , desde niveles básicos hasta intermedios, con explicaciones detalladas. Al final, podrás analizar propiedades como la acotación, la vivacidad y la reversibilidad.
:
Pre(tanque,descargar)=3, Post(envase,descargar)=1. Estado: (5,0) → descargar habilitada (5≥3) → (2,1) → descargar no habilitada (2<3). Solo 1 disparo.
Representadas por puntos negros dentro de los lugares. Indican que una condición se cumple o que un recurso está disponible en ese momento. Ejercicios Resueltos Paso a Paso Ejercicio 1: Modelado de una Máquina Expendedora