基于C/E系统监控器的CPLD实现

摘要

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模，然后用Petri网工具对模型进行分析，并根据控制要求设计出Petri监控器，最后用CPLD实现之。这不仅使Petri网有了硬件支持，而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。