petri网的硬件实现

petri网是异步并发现象建模的重要工具,petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种petri网系统的硬件实现方法,包括带抑制弧和允许弧的c/e系统、p/t系统、t-时延petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种petri网的逻辑电路;然后用abel语言对逻辑电路进行描述;最后给出了一个用解释petri网描述的服务系统的例子,说明如何使用硬件(cpld)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.