一个嵌入式系统的Petri网模型与CPLD实现(2)

·（Ｂ，Ｅ；Ｆ）为简单网；

·Ｂ中每个条件都有机会成真，也有机会成假；

·Ｅ中每个事件都有机会发生；

·由初始情态ｃｉ导出的可达情态集是完全可到达关系Ｒ下的等价类。

因此，该模型还是一个Ｃ／Ｅ系统。在Ｐｅｔｒｉ网仿真软件Ｖｉｓｕａｌ Ｏｂｊｅｃｔ Ｎｅｔ＋＋中进行仿真测试，结果表明该模型能很好地描述控制器各部分之间的逻辑关系。

３ ＶＨＤＬ程序的基本单元设计

ＣＰＬＤ（复杂可编程逻辑器件）是处于并行工作方式的基本电路单元构成的高速、大规模集成器件，可作为一种并发系统模型与Ｐｅｔｒｉ网建立联系。ＶＨＤＬ作为一种硬件描述语言，支持行为描述、数据流描述和结构化描述等多种描述方法，可以用并行和顺序多种语句方式描述实际的系统，并可采用ＶＨＤＬ的并行语句描述Ｃ／Ｅ系统中条件／事件间的并发关系，用ＶＨＤＬ的顺序语句描述条件／事件间的顺序约束机制，为解决Ｃ／Ｅ系统中的有效冲突提供了可行的方法。

ＶＨＤＬ语言程序设计的基本单元称为一个基本设计实体，其主要由实体说明（ｅｎｔｉｔｙ ｄｅｃｌａｒａｔｉｏｎ）和构造体（ａｒｃｈｉｔｅｃｔｕｒｅ ｂｏｄｙ）两部分构成。实体说明部分规定了设计单元的输入输出接口信号或引脚。根据该控制器的Ｃ／Ｅ系统中关心和需观察的变量选择系统的输入和输出信号，以确定基本设计单元的实体及其端口。在控