Posibles extensiones de PetrA

Uno de los objetivo en este trabajo, es que PetrA sea una base para manejar redes de Petri más complejas o con las restricciones que requiera el problema al que se apliquen. Este capítulo inicia con la descripción de un desarrollo sencillo para colocar restricciones a la red de Petri que maneja PetrA, tal que se manejen redes de Petri con capacidad finita. Y en las secciones restantes se proponen posibles soluciones para incorporar las redes de Petri estocásticas, coloreadas y jerárquicas.