Criterios relacionados al modelaje con redes de Petri
https://engineerdesistemas.blogspot.com/2012/06/criterios-relacionados-al-modelaje-con.html
En un nivel más abstracto, las redes de Petri pueden también modelar conceptos de software. Localización de recursos, abrazo mortal y coordinación de procesos en un sistema operativo puede ser modelado. Un proceso puede ser modelado por una red de Petri en la misma manera que puede ser modelado por un diagrama de flujo y así las interacciones entre procesos pueden ser modelados como lugares adicionales, arcos y transiciones.
En el modelaje con redes de Petri se presentan dos criterios profundamente relacionados
que son:
Criterio F: el criterio F sirve como base conceptual para el criterio C/E, sin embargo tiene
la desventaja de que sistemas simples utilizando este criterio adquieren una dimensión de exageradas proporciones, razón por la cual no es recomendable en la practica para modelar.
Criterio C/E.
Según el criterio F se considera que el comportamiento de cualquier sistema puede ser
descrito como un conjunto de procesos, a su vez cada proceso consta de fenómenos los cuales pueden ser o bien estables, o bien transitorios.
1. los fenómenos estables, son los que nos indican o corresponden a estados locales
del sistema. Se representa a través de círculos (lugares).
2. Los fenómenos transitorios, indican las transiciones entre estados locales. En
concreto, por las transiciones algunos estados pasan a tener vigencia, mientras que otros estados dejan de tener vigencia. Se representa a través de rectángulos (conexiones).
En el modelaje con redes de Petri se presentan dos criterios profundamente relacionados
que son:
Criterio F: el criterio F sirve como base conceptual para el criterio C/E, sin embargo tiene
la desventaja de que sistemas simples utilizando este criterio adquieren una dimensión de exageradas proporciones, razón por la cual no es recomendable en la practica para modelar.
Criterio C/E.
Según el criterio F se considera que el comportamiento de cualquier sistema puede ser
descrito como un conjunto de procesos, a su vez cada proceso consta de fenómenos los cuales pueden ser o bien estables, o bien transitorios.
1. los fenómenos estables, son los que nos indican o corresponden a estados locales
del sistema. Se representa a través de círculos (lugares).
2. Los fenómenos transitorios, indican las transiciones entre estados locales. En
concreto, por las transiciones algunos estados pasan a tener vigencia, mientras que otros estados dejan de tener vigencia. Se representa a través de rectángulos (conexiones).
