Design of discrete event systems using petri nets and a dedicated controller

摘要

A Discrete Event System design methodology based on Petr4i Nets and a dedicated programmable contorller is presented. The system is initially specified using PN, simulated and formally verified, and then transformed into an intermediate format which is compiled into the machine code. The code is programmed into a conventional ROM and is executed on the controller. The PN-based controller is optimized for handling concurrent specifications by locally tracking tokens in the net. It has been implemented as a VHDL hardware model and a gate-level circuit has been synthesized in the 0.7 mu m CMOS technology. The controller provides fast response times and an inherent power efficiency, and is intended to be used in reactive Discrete event System control applications.