SIMULACIÓN DE SISTEMAS 

FACULTAD DE INGENIERÍA DE SISTEMAS E INFORMÁTICA

Saavedra Flores Martin 

Ruíz Cieza Denis 
Mucha López Hugo Leoncio
 
Simulación de Sistemas Redes de Petri 

ÍNDICE
INTRODUCCIÓN 2

MÉTODOS FORMALES 3
1.1. Sistemas de Eventos Discretos 3
1.2. Modelado y Especificación 3
1.3. Formalismos 4

REDES DE PETRI 6
2.1. Definición de los componentes básicos 6
2.1.1. Plazas 6
2.1.2. Transiciones 6
2.1.3. Arcos dirigidos 6
2.1.4. Tokens 6
2.2. Marcado 7
2.3. Disparo 7
2.4. Sincronización y Concurrencia 9
2.4.1. La Sincronización 9
2.4.2. La Concurrencia 10
2.5. Posibilidad de modelado 12

EJERCICIOS 12
3.1. Ejercicio 01 12
3.2. Ejercicio 02 15
3.3. Ejercicio 03 16
3.4. Ejercicio 04 18
3.5. Ejercicio 05 20

LINKOGRAFIA 23

1
 
Simulación de Sistemas Redes de Petri 

INTRODUCCIÓN

Todo lo que nos rodea son sistemas, los cuales se han clasificado como Sistemas de
Eventos Continuos y Sistemas de Eventos Discretos. Mientras que un sistema continuo es
aquel que va cambiando al paso del tiempo de forma constante, un sistema discreto es
aquel que cambia su estado en intervalos de tiempo variados y no de forma constante.
Ejemplos de sistemas continuos son el cambio en la temperatura, la velocidad a la que cae
un objeto, o el contenido de agua en un tinaco que está siendo llenado por medio de la
tubería y a la vez vaciado por el uso doméstico de una casa. Por otro lado, ejemplos de
sistemas discretos son; la cantidad de personas que existe en la fila de un banco, el número
de vehículos esperando en una caseta de cobro, o la cantidad de productos que existen en
un almacén. Como puede observarse, en los ejemplos de los sistemas de eventos discretos
el valor de sus variables cambia en momentos del tiempo no necesariamente constantes; en
particular, la cantidad de personas que están en un banco puede ir en aumento conforme los
clientes llegan, pero va a haber lapsos de tiempo en que se mantiene la misma cantidad sin
sufrir cambio alguno, en otro instante en el tiempo la cantidad de personas disminuirá,
mientras que en otros aumentará.

Las redes de Petri (RdP) constituyen una familia de formalismos bien conocidos para el
modelado, análisis y síntesis de sistemas concurrentes y distribuidos formalizados como
discretos. Han jugado un papel importante en el desarrollo de estos sistemas, ya que entre
otras posibilidades pueden considerarse como un lenguaje formal y gráfico para su
modelización.

Esta teoría fue Inventada por el alemán Karl Adam Petri en 1962. En su tesis doctoral
“kommunication mit automaten” (Comunicación con autómatas), utilizada como método de
descripción visual en la ayuda a la descripción del comportamiento de sistemas complejos.

Las Redes de Petri, cuyo acrónimo en inglés es PN, fueron utilizadas inicialmente para el
análisis de algoritmos en la computación paralela o concurrente, pero dada la complejidad
de los procesos productivos actuales, las PN son un método alternativo de diseño tanto para
el proceso industrial como para el controlador.

2
 
Simulación de Sistemas Redes de Petri 

1. MÉTODOS FORMALES

1.1. Sistemas de Eventos Discretos

Un Sistema de Eventos Discretos, SED, es un sistema de estados discretos dirigido

por eventos, es decir, su evolución de estados depende únicamente de la ocurrencia de
eventos discretos asíncronos en el tiempo. Las características típicas de los SED incluyen
concurrencia, comportamiento asíncrono, selección no determinista, exclusión mutua, y
restricciones de tiempo real.

Figura 01. Sistema de Eventos discretos

1.2. Modelado y Especificación

Un ​modelo es una representación inteligible (abstracta y consistente) de un sistema.

Cuando dos modelos representan la misma realidad a diferentes niveles de detalle o
fidelidad, el modelo menos detallado se dice que es el modelo más ​abstracto​​. Los modelos
se pueden clasificar desde distintos puntos vista. Por ejemplo, se pueden clasificar según su
capacidad replicativa, su capacidad de predicción y su validez estructural, o según cuatro
dimensiones ortogonales que caracterizan la representación del modelo, el objetivo del
estudio, su naturaleza temporal y la solución técnica.

3
 
Simulación de Sistemas Redes de Petri 

Figura 02. Dimensiones de los modelos

Los requisitos de un sistema se pueden especificar según relaciones entrada/salida,

ejemplos representativos o mediante modelos.

Los términos modelo y especificación no son equivalentes: la especificación puede

realizarse sin la utilización de modelos. Un modelo puede ser utilizado para representar una
especificación, un diseño, o incluso, para describir el mismo proceso de desarrollo del
software.

Una ​especificación se compone de una serie de requisitos funcionales, que pueden ser
descritos formalmente, y no funcionales, que suelen ser más difícil especificar formalmente.
Según la notación se distinguen especificaciones operacionales (forma gráfica, textual o
mixta con diferentes grados de formalidad) y declarativas.

Los requisitos especificados formalmente se pueden verificar y validar. La ​verificación es

una prueba de que la semántica interna del modelo es correcta, independientemente de
sistema modelado (consistencia interna). La ​validación establece que el producto final es
conforme a la especificación.

Figura 03. Verificación y validación

1.3. Formalismos

Un formalismo proporciona un conjunto de convenciones para especificar una clase de

objetos con precisión y sin ambigüedades. En la literatura podemos encontrar numerosos
formalismos (DEVS, Statecharts, ACD, Redes de Petri, TTM/RTTL, CCS, ...).

4
 
Simulación de Sistemas Redes de Petri 

Figura 04. Formalismos

En la práctica, un único formalismo no suele satisfacer todas las necesidades del desarrollo,
por lo que suele ser necesario elaborar entornos eclécticos que incorporan varios
formalismos.

Las ​Redes de Petri ​son un formalismo que permite modelar la concurrencia, el no

determinismo y la causalidad de las conexiones entre eventos. Se dispone de una profunda
base teórica desarrollada y, además, permiten una representación gráfica, lo cual hace que
las especificaciones formuladas mediante redes de Petri sean bastante intuitivas.

Figura 05. Red de Petri

5
 
Simulación de Sistemas Redes de Petri 

2. REDES DE PETRI

Carl Adams Petri en 1962 formuló una teoría para sistemas paralelos incluyendo el concepto
de concurrencia: las Redes de Petri, RdP. Una RdP es una herramienta matemática y
gráfica para modelar y analizar sistemas.

Las RdP han demostrado su utilidad para modelar sistemas de eventos discretos y, en
general, su idoneidad para representar el comportamiento de sistemas concurrentes,
asíncronos, distribuidos, paralelos, no deterministas y/o estocásticos. Destaca su
representación gráfica fácil, clara y sin ambigüedades.

2.1. Definición de los componentes básicos

Una Red de Petri, RdP, es una clase particular de gráfico dirigido, con un estado inicial
denominado marcado inicial. Básicamente, consta de: lugares o plazas, p, transiciones, t,
arcos dirigidos o testigos, f, y tokens.

2.1.1. Plazas: ​Representan un lugar o espacio que es o será

utilizado dentro del sistema. En el caso de un sistema productivo
corresponderá a la identificación de un almacenamiento, estación,
máquina o cualquier otro espacio fijo. Representan las condiciones
necesarias para que un proceso se ejecute.

Representa también los posibles estados del sistema.

2.1.2. Transiciones: ​Permite relacionar dos plazas, se

consideran como las acciones o eventos que causan cambios
en los estados. Representadas por segmentos rectilíneos.
Representan los procesos del programa.

2.1.3. Arcos dirigidos: Permitirán unir las Plazas y

las Transiciones para así armar el modelo de red,
permitiendo indicar el sentido del flujo. Solo se podrá
emplear un arco para conectar una Plaza con una Transición o una Transición con
una Plaza, no se podrán conectar 2 Plazas empleando un solo Arco.

Unen transiciones y plazas o relacionan condiciones y procesos.

2.1.4. Tokens: ​Equivalen a una marca dentro del sistema y que se ubican en
las plazas. Los Token representan las unidades de materia prima,
productos en proceso y productos terminados.

Están presentes en una plaza, indican que se verifica la condición que

representa esa plaza.

Cada arco, f, tiene asociado un número entero positivo w(f), que representa el peso del arco
y que pueden interpretarse como un conjunto de arcos paralelos de peso unidad.

6
 
Simulación de Sistemas Redes de Petri 

La capacidad de un lugar, p, representa el número máximo de marcas o tokens que puede

contener. Así, se pueden definir RdP de capacidad infinita y de capacidad finita. Un marcado
asigna a cada lugar un entero no negativo, k.

2.2. Marcado

Una plaza puede contener un número positivo o nulo de testigos o marcas, que se
representan por un punto en el interior del círculo que representa una plaza.

El marcado de una red de Petri es el conjunto de testigos asociados con cada una de las
plazas en un instante dado. Define el estado de la red de Petri.

2.3. Disparo

Para que el disparo se lleve a cabo se debe tener en cuenta lo siguiente:

● Una transición está sensibilizada o habilitada si las plazas de entrada están

marcadas.
● Una transición habilitada se puede disparar.
● Arcos dirigidos: relacionan condiciones y procesos.
● El disparo de una transición habilitada consiste en quitar un testigo de cada plaza de
entrada y añadir un testigo a cada uno de las plazas de salida.
● Los testigos son indivisibles; esto es, un testigo puede quitarse de una plaza por sólo
una transición. Esto hace que el disparo de una transición pueda deshabilitar otras
transiciones retirando los testigos de las plazas de entrada compartidas.
Exceptuando esta restricción, el disparo de las transiciones se desarrolla de una
manera asíncrona.

Los disparos hacen que el sistema cambie de estado. A continuación una Red de Petri
básica, donde se observa 2 plazas, 2 arcos, 1 transición y 1 token.

Figura 06. Estado 1

Al dispararse la simulación, el token pasa de la primera plaza , denotada como A, hasta la

segunda plaza, denominada como B, esto se realiza a través de los arcos y la transición; el
programa cambia de un estado a otro.

Esta acción denota una situación o evento a través de la transición.

El token podrá pasar a la plaza B si o solo si la plaza tiene una capacidad suficiente para
albergar.

7
 
Simulación de Sistemas Redes de Petri 

Figura 07. Estado 2

Ejemplo:

LÁMPARA

● En una habitación. Inicialmente, una lámpara se encuentra apagada

(estado 1).
● Al presionar el interruptor (disparo), la energía eléctrica pasa por el
interruptor hacia la lámpara, por consiguiente su estado cambia a
Encendido ​(estado 2).

Figura 08. Lámpara

Figura 09. Redes de Petri del ejemplo de la Lámpara

8
 
Simulación de Sistemas Redes de Petri 

2.4. Sincronización y Concurrencia

La Sincronización y Concurrencia son dos casos muy usuales de las Redes de Petri:

2.4.1. La Sincronización: ​Ocurre cuando dos o más actividades concurren o

se unen, este es un caso que se emplea para unir o ensamblar token que provienen
de diferentes caminos en paralelo. En el caso de la Sincronización los tokens se
unen.

Figura 10. Sincronización

Ejemplo:

REACCIÓN QUÍMICA DEL AGUA

Se basa en la conocida reacción química del agua: 2H​2​ + O​2​ --> 2H​2​O.

Primero, se tiene el lugar de entrada que representan la presencia de

dos moléculas de H​2 y el otro lugar de entrada con dos moléculas de
O​2 ​(estado 1). La transición está habilitada debido a que la cantidad de
tokens en los lugares de entrada (H​2 y O​2​) es igual o mayor que el
valor del peso del arco que los conecta con la transición. Se procede
con su disparo, desplazando los tokens en la RdP donde se toman
dos tokens de H​2​, uno de O​2​, y se colocan dos tokens en el lugar de
salida H​2​O, de acuerdo al valor del peso del arco que lo conecta con la
transición. Lo que representa que después del disparo (ocurrencia de
la reacción química) se obtienen dos moléculas de H​2​O ​(estado 2).

Figura 11. Reacción química del agua

9
 
Simulación de Sistemas Redes de Petri 

Figura 12. Ejemplo de Sincronización

Reacción química del H​2​0

2.4.2. La Concurrencia: ​Equivale a los flujos que se ejecutan en paralelo. En

la Concurrencia los tokens se dividen.

Figura 13. Concurrencia

Ejemplo:

MÁQUINA DISPENSADORA

Una persona inserta una moneda en una máquina dispensadora de

café, té y leche, en el cual te da una opción de selección.

Figura 14. Máquina Dispensadora

10
 
Simulación de Sistemas Redes de Petri 

Figura 15. Ejemplo de Concurrencia

El comportamiento dinámico de un sistema se describe en función de sus cambios de

marcado. En una RdP el marcado cambia según tres reglas básicas:

● Una transición está habilitada si todos sus lugares de entrada están marcados, es
decir, los lugares poseen un número mayor e igual de marcas que el peso de los
arcos que los unen a la transición.

● Una transición habilitada puede o no dispararse dependiendo del tipo de transición

(según el sistema que represente) y de la ocurrencia del evento asociado.

● El disparo de una transición habilitada consiste en quitar marcas de cada uno de los
lugares de entrada (tantas como el peso de los arcos correspondientes) y añadir
marcas a cada uno de los lugares de salida (tantas como el peso de los arcos
correspondientes).

Figura 16. Red de Petri

11
 
Simulación de Sistemas Redes de Petri 

2.5. Posibilidad de modelado

Mediante redes de Petri se pueden modelar una gran variedad de sistemas. Estas redes son
idóneas para representar aquellos sistemas que tienen un comportamiento asíncrono,
distribuido, paralelo y/o no deterministas. Las redes de Petri permiten reflejar la ejecución
concurrente de distintos procesos, representar la disponibilidad de recursos, representar la
imposición de restricciones de acceso a zonas compartidas, representar la evolución
dinámica del sistema, representar la causalidad, los conflictos, las confusiones, etc.

Figura 17. (a)Concurrencia, (b)Disponibilidad o dependencia de

recursos,(c)conflicto, (d)Recurso Compartido, (e)Ejecución
Secuencial y (f)Confusión.

3. EJERCICIOS

3.1. Ejercicio 01

MÁQUINA EXPENDEDORA

● La máquina expende dos tipos de productos que cuestan 20 cent y 15

cent respectivamente.
● Apenas se pueden utilizar dos tipos de monedas: 10 cent y 5 cent
● La máquina no devuelve cambio

12
 
Simulación de Sistemas Redes de Petri 

Los estados que se presentan se denotan como lugares de la RdP. El

estado inicial se representa en la ​figura (a),​ el marcado de esto sería
M0=(1 0 0 0 0), que corresponden a los tokens de los lugares M0 =
(p1 p2 p3 p4 p5), respectivamente.

Bajo esta condiciones, la transición t1 se encuentra habilitada, es

decir, para que la(s) moneda(s) será tomada(s) por la máquina
expendedora es necesario que el dinero sea insertada y el equipo esté
operativo… Tomando como inicio el camino de los 5 cent: en la f​ igura
(b) se muestra el estado de la RdP M1=(0 1 0 0 0) después del disparo
de t1, que indica que la moneda de 5 cent es tomada por la máquina
dispensadora y esta la almacena (se tiene 5 cent); ahora tomando el
camino de los 10 cent se tiene el estado de la RdP M2=(0 0 1 0 0)
obtenido después del disparo de t2 (se tiene 10 cent) f​ igura(c).​

Tomando el camino de los 5 cent, se puede depositar 5 cent o 10 cent

en la máquina dispensadora, los estados obtenidos serían M2
obtenido después del disparo de t3 y M3=(0 0 0 1 0) obtenido después
del disparo t4 figura(d),​ respectivamente, por lo tanto se tiene 10 cent o

13
 
Simulación de Sistemas Redes de Petri 

15 cent. Al ejecutarse el disparo t5 siguiendo el estado M2, se alcanza

el estado M3, se tiene 15 cent.

En el estado M3 se puede tomar la decisión de hacer una compra de

15 cent o de depositar 5 cent, en caso de realizar la compra el sistema
alcanza el estado inicial M0, caso contrario se tendrá 20 cent, la
figura(e) muestra el estado de la RdP M4=(0 0 0 0 1), de este estado
también se puede realizar una compra de 20 cent y regresar al estado
inicial M0

Siguiendo el camino inicial de los 10 cent, se alcanza el estado M2 (se

tendría 10 cent), de este estado se puede elegir el M3 o M4, si se
toma el camino t5 se tendría 15 cent, caso contrario la t6 y se tendría
20 cent.

14
 
Simulación de Sistemas Redes de Petri 

3.2. Ejercicio 02

ESTADO CIVIL

● Una persona inicialmente es soltero. Al pasar por la boda, su estado

civil cambia a Casado.
● Cuando la Persona se divorcia, su estado civil pasa a Divorciado. Pero
este puede casarse de nuevo.
● Cuando se muere el Cónyuge, el estado civil de la persona cambia a
Viudo. Pero puede casarse de nuevo.

Los estados que se presentan se denotan como lugares de la RdP.

figura (a)

El estado inicial del sistema modelado por la RdP de la f​ igura (a),​

indica que existe un marcado en la plaza de entrada (p1). El marcado
de este estado sería M0 = (1 0 0 0), que corresponden a los tokens de
los lugares M0 = (p1 p2 p3 p4), respectivamente. En la f​ igura(b) se
muestra el estado de la RdP M1=(0 1 0 0) alcanzado cuando se
dispara la t1, donde el hombre está casado. Posterior a esto, puede
suceder el divorcio o muerte del cónyuge.

La ​figura(c) muestra estado de RdP M2=(0 0 1 0), alcanzado cuando

se dispara el t2. El hombre está divorciado. Puede regresar al estado
M1 por medio del disparo t3.

La ​figura(d) muestra estado de RdP M3=(0 0 0 1), alcanzado cuando

se dispara el t5. El hombre está viudo debido a la muerte del cónyuge.
Puede regresar al estado M1 por medio del disparo t4.

15
 
Simulación de Sistemas Redes de Petri 

3.3. Ejercicio 03

MÁQUINA DISPENSADORA

El ejercicio considera una máquina dispensadora de bebidas y snacks

ubicada en Plaza Vea de la ciudad de Tarapoto, que funciona de la
siguiente manera: el cliente introduce su moneda en la máquina
dispensadora, la máquina puede que acepte o no el dinero, para el
primer caso, el despacho se llevará a cabo, para el segundo caso, de
manera contraria al primero, la moneda es rechazada, se tiene que
volver a insertar un moneda apropiada para que la máquina pueda
dispensar adecuadamente.

Los estados que se presentan se denotan como lugares de la RdP.

figura (a)

16
 
Simulación de Sistemas Redes de Petri 

El estado inicial del sistema modelado por la RdP de la f​ igura (a),​

indica que existe un marcado en la plaza de entrada (p1). El marcado
de este estado sería M0 = (1 0 0), que corresponden a los tokens de
los lugares M0 = (p1 p2 p3), respectivamente. Bajo esta condiciones,
la transición t1 se encuentra habilitada, es decir, para que la moneda
será tomada por la máquina dispensadora es necesario que la
moneda sea insertada y el equipo esté operativo... En la f​ igura (b) se
muestra el estado de la RdP M1 = (0 1 0) después del disparo de t1,
que indica que la moneda es tomada por la máquina dispensadora y
que luego de su validación se determina si esta es aceptada o
rechazada; de ser rechazada, la máquina dispensadora regresa a su
estado inicial M0 obtenido después del disparo de t2. La ​figura (c)
muestra el estado M2 = (0 0 1), obtenido después del disparo de t3,
donde se acepta la moneda. Luego se despacha el pedido a través del
disparo t4.

17
 
Simulación de Sistemas Redes de Petri 

3.4. Ejercicio 04

ALARMA ANTIRROBOS

Considérese una alarma antirrobos para un bien inmueble, que

funciona de la siguiente manera: una vez que el propietario ingresa a
su casa debe desactivar la alarma en un minuto, en caso contrario, el
centro de vigilancia se pone en contacto vía telefónica con el
encargado o dueño de la casa (debiendo contestar la llamada en
menos de 30 segundos) para comunicarle su clave y contraseña, que
sólo conocen ambos. En caso de que el propietario se haya
equivocado al marcar la contraseña, basta con decirle la clave por
teléfono. Sin embargo, si la clave no es correcta, se debe llamar a la
estación de policía en un período de 10 a 40 segundos y los agentes
policiales se presentarán entre 1 y 2 minutos en el domicilio.

Los estados que se presentan se denotan como lugares de la RdP.

figura (a)

El estado inicial del sistema modelado por la RdP de la ​figura (a),​

indica que existe un marcado en la plaza de entrada (p1). El marcado
de este estado sería M0 = (1 0 0 0 0 0 0), que corresponden a los
tokens de los lugares M0 = (p1 p2 … p7), respectivamente. Bajo esta

18
 
Simulación de Sistemas Redes de Petri 

condiciones, la transición t1 se encuentra habilitada, es decir, para

que la contraseña sea tomada por la alarma es necesario que la
contraseña sea ingresada y el dispositivo esté operativo... En la ​figura
(b) se muestra el estado de la RdP M1 = (0 1 1 0 0 0 0) después del
disparo de t1, que indica que la contraseña es tomada por la alarma y
que luego de su procesamiento se determina si es correcta o
incorrecta. De ser correcta la contraseña, la alarma será desactivada.
La f​ igura (c)​ muestra el estado M2 = (0 0 0 1 1 0 0), obtenido después
del disparo de t2, donde se proporcionará datos y estos serán
tomados para que ser procesados y determinar si son correctos e
incorrectos.

19
 
Simulación de Sistemas Redes de Petri 

Si los datos proporcionados correctos, la alarma será desactivada. La

figura (d) indica el estado alcanzado después del disparo de t3, M3 =
(0 0 1 0 1 0 0). En el caso de que los datos validados como
incorrectos en el disparo t2, se ejecuta el disparo t4, donde se llamará
a la policía, la f​ igura (e)​ indica el estado alcanzado después del disparo
t4, M4 = (0 0 0 0 0 1 0). Finalmente, la f​ igura (f​) muestra el estado del
sistema con el marcado M4 = (0 0 0 0 0 0 1), después del disparo de
la transición t5, donde la policía acudirá al domicilio.

3.5. Ejercicio 05

BRAZO DE ROBOT

Este ejercicio considera un sistema de manufactura flexible donde se

tiene una banda transportadora por donde arriban piezas para ser
procesadas, estas piezas son tomadas por un brazo de robot que las
deposita en una máquina para su procesamiento. Al finalizar el
proceso, el brazo de robot vuelve a tomar la pieza para depositarla en
una banda de salida.
Los estados que se presentan se denotan como lugares de la RdP.
figura (a)

20
 
Simulación de Sistemas Redes de Petri 

El estado inicial del sistema modelado por la RdP de la ​figura (a),​

indica que existe una pieza en la banda de entrada (p1), que el brazo
de robot está listo para tomar alguna pieza (p2) y que la máquina de
proceso también está disponible (p4). El marcado de este estado sería
M0 = (1 1 0 1 0 0 0), que corresponden a los tokens de los lugares M0
= (p1 p2 … p7), respectivamente. Bajo estas condiciones, la transición
t1 se encuentra habilitada, es decir, para que una pieza sea tomada
por el brazo de robot es necesario que la pieza se encuentre en la
banda de entrada y el brazo de robot se encuentre disponible.. En la
figura (b) se muestra el estado de la RdP M1 = (0 0 1 1 0 0 0) después
del disparo de t1, que indica que la pieza está tomada por el brazo del
robot y la máquina de procesamiento aún se encuentra disponible. La
figura (c)​ muestra el estado M2 = (0 1 0 0 1 0 0), obtenido después del
disparo de t2, donde el brazo de robot está ahora disponible y la
máquina de procesamiento se encuentra en operación.

21
 
Simulación de Sistemas Redes de Petri 

Disparo de transiciones en la dinámica del sistema real. (b) después del disparo de t1. (c) después del disparo de t2. (d)
después del disparo de t3. (e) después del disparo de t4.

La ​figura (d) indica el estado alcanzado después del disparo de t3, M3

= (0 0 0 1 0 1 0), donde el brazo de robot ha tomado la pieza de la
máquina de procesamiento y ésta se encuentra disponible.
Finalmente, la ​figura (e​) muestra el estado del sistema con el marcado
M4 = (0 1 0 1 0 0 1), después del disparo de la transición t4, donde la
pieza ha sido colocada en la banda de salida, y tanto el brazo de robot
como la máquina de procesamiento se encuentran disponibles. A
partir del marcado M4 se habilita la transición t5, cuyo disparo
generaría el marcado M0, el cual corresponde al estado inicial del
sistema​.

22
 
Simulación de Sistemas Redes de Petri 

4. LINKOGRAFIA

➔ http://www.eis.uva.es/~jossan/doct/sed/fich/SED_RdP.pdf
➔ https://www.youtube.com/watch?v=S6aCLjM2K_s
➔ http://repositorio.utp.edu.co/dspace/bitstream/handle/11059/1083/6298M912.pdf?seq
uence=1
➔ https://www.istr.unican.es/asignaturas/MC_ProCon/Doc/PETRI_1.pdf
➔ https://www.uaeh.edu.mx/scige/boletin/icbi/n1/e4.html
➔ https://slideplayer.es/slide/3399576/

23