Metodología para el diseño de sistemas embebidos basada en modelos de Redes de Petri

En este trabajo se presenta una plataforma embebida para el control de sistemas de eventos discretos. El sistema real de propósito específico se modela como una Red de Petri con señales de entrada y salida. Esto permite adaptar un esquema de control que puede ejercer acción sobre el sistema mediante comandos de entrada y retroalimentar el estado mediante señales de salida. Se proporciona una metodología para traducir el modelo en Red de Petri a una implementación de firmware embebido.Universidad de Guadalajar