simulación con redes de petri

Las Redes de Petri se utilizan para simular el comportamiento dinámico de sistemas en tiempo real. Una red de Petri está formada por lugares, transiciones y arcos dirigidos, así como por marcas o cospeles que ocupan posiciones. Los arcos conectan un lugar a una transición o una transición a un lugar. No puede haber arcos entre lugares ni entre transiciones. Los lugares contienen un número cualquiera de marcas . Las transiciones se disparan, es decir consumen marcas de una posición de inicio y producen marcas en una posición de llegada. Mediante una red de Petri puede modelizarse un STR compuesto de varios procesos concurrentes que cooperan para la realización de un objetivo común.

En el menú ubicado a la derecha del blog se pueden encontrar una serie de links para descargar software preparado para efectuar simulaciones de sistemas mediante redes de Petri.