Criterio C/E en la Red de Petri

El criterio C/E es la abstracción y generalización del criterio F, esta abstracción se basa en
los conceptos de condición y eventos.

La relación entre condición y evento se basa en el hecho de que para la realización de un determinado evento se requiere el cumplimiento de determinadas condiciones.

- Los eventos bajo el criterio C/E son representados mediante segmentos o
Barras.

- Las condiciones se representan mediante círculos.

Una condición puede ser pre condición de uno o más eventos, de igual manera una
condición puede ser post condición de uno o más eventos, las relaciones entre ellos se representan mediante las flechas.

Un evento puede realizarse siempre y cuando se cumpla todas las pre condiciones, y además no se ejecute ninguna de sus post condiciones.

Bajo la realización de un evento se produce un cambio de condiciones, correctamente todas sus pre condiciones dejan de tener vigencia, mientras que las post condiciones, vienen a ser las pre condiciones de otros eventos, de hecho las mismas cambian conforme pasa el tiempo.

Para denotar el cumplimiento de una condición se introduce un circulo pequeño al interior de la condición y se dice que esta condición está marcada.