¿Qué tipo de sistemas podemos modelar con las Redes de Petri?
https://engineerdesistemas.blogspot.com/2012/06/que-tipo-de-sistemas-podemos-modelar.html
Para esto pongamos atención a los sistemas: una idea fundamental en un sistema es que se compone de módulos que interactúan entre sí, los cuales pueden ser considerados por si mismos un sistema, y podríamos estudiar su comportamiento por separado y de esta manera aislarlos, pero siempre teniendo en cuenta la interacción que guardan con los otros módulos.
Ahora deseamos conocer en que condiciones se encuentran los módulos, es como si detuviéramos al sistema en el tiempo, las condiciones internas de los módulos determinarían el estado en el que se encuentran, para esto entendemos que un sistema es un arreglo dinámico que en el transcurso del tiempo tiene variaciones y no permanece estático. El estado de un módulo con frecuencia depende de su historia, es decir de las acciones dadas en un tiempo anterior.
Hablemos de dos conceptos importantes: acciones y estados, las acciones nos conducen a un estado determinado del módulo en el tiempo, las acciones de un módulo en un sistema pueden ocurrir imultáneamente con las acciones de otros módulos, dado que ellos interacúan entre sí, es necesario sincronizar los eventos. Esto puede resultar en que las condiciones de un módulo en el tiempo necesitan como entradas las salidas de otro, él cual necesita más tiempo para generar las salidas, es entonces cuando pensamos en paralelismo y concurrencia. Las PN fueron diseñadas específicamente para modelar este tipo de sistemas.
Tomemos dos conceptos más: eventos y condiciones, los eventos son las acciones que se dan en el sistema y nos llevan a un estado, podemos describir un estado como un conjunto de condiciones. Es útil, para nuestro caso, representar dichas condiciones por medio de predicados.
Para que cierto evento ocurra es necesario que ciertas condiciones se cumplan, estas son llamadas pre-condiciones del evento, la ocurrencia del evento nos puede llevar a otras condiciones y es entonces cuando se dan las post-condiciones.
Para modelar un sistema en una PN debemos reconocer las condiciones y los eventos que se dan en él, de esta manera podemos hacer la analogía entre el sistema y el modelo, al conocer las condiciones que se necesitan para dar cierto evento podemos diseñar los módulos y relacionarlos con otras condiciones, y para esto necesitamos saber la estructura de una PN para saber que corresponde a una condición y un evento en la red.
Ahora deseamos conocer en que condiciones se encuentran los módulos, es como si detuviéramos al sistema en el tiempo, las condiciones internas de los módulos determinarían el estado en el que se encuentran, para esto entendemos que un sistema es un arreglo dinámico que en el transcurso del tiempo tiene variaciones y no permanece estático. El estado de un módulo con frecuencia depende de su historia, es decir de las acciones dadas en un tiempo anterior.
Hablemos de dos conceptos importantes: acciones y estados, las acciones nos conducen a un estado determinado del módulo en el tiempo, las acciones de un módulo en un sistema pueden ocurrir imultáneamente con las acciones de otros módulos, dado que ellos interacúan entre sí, es necesario sincronizar los eventos. Esto puede resultar en que las condiciones de un módulo en el tiempo necesitan como entradas las salidas de otro, él cual necesita más tiempo para generar las salidas, es entonces cuando pensamos en paralelismo y concurrencia. Las PN fueron diseñadas específicamente para modelar este tipo de sistemas.
Tomemos dos conceptos más: eventos y condiciones, los eventos son las acciones que se dan en el sistema y nos llevan a un estado, podemos describir un estado como un conjunto de condiciones. Es útil, para nuestro caso, representar dichas condiciones por medio de predicados.
Para que cierto evento ocurra es necesario que ciertas condiciones se cumplan, estas son llamadas pre-condiciones del evento, la ocurrencia del evento nos puede llevar a otras condiciones y es entonces cuando se dan las post-condiciones.
Para modelar un sistema en una PN debemos reconocer las condiciones y los eventos que se dan en él, de esta manera podemos hacer la analogía entre el sistema y el modelo, al conocer las condiciones que se necesitan para dar cierto evento podemos diseñar los módulos y relacionarlos con otras condiciones, y para esto necesitamos saber la estructura de una PN para saber que corresponde a una condición y un evento en la red.
