Next: PetrA: Petri Nets Application
Up: Manejo de redes de
Previous: Una base de manejo
Muchas herramientas no permiten al usuario hacer extensiones y/o
restricciones a una red de Petri para trabajar con nuevos tipos. Y las que
trabajan con más tipos de redes mantienen esta limitación para el usuario.
Se puede diseñar una base que puede trabajar con los distintos tipos de
redes de Petri partiendo de una red de Petri clásica. Esta base puede estar
en términos de la matriz de incidencia, ya que las extensiones para manejar
las redes basadas en tiempo, las coloreadas y las jerárquicas son factibles.
Amilcar Meneses
2002-11-08