| 专利号 | 2020115072436 | 申请日 | 2020-12-18 | 专利名称 | 一种Petri网Verilog HDL代码生成方法 |
| 授权日 | 2022-07-05 | 专利权人 | 山东科技大学 | 发明人 | 张小军;周韬略;曾庆田;陈成官;陈达;李恒忠;鲁法明;王翀;崔建明;郭华;王维克 |
| 主分类号 | G06F30/22 | 关键词 | 应用领域 | ||
| 摘要 | 本发明公开了一种Petri网Verilog HDL代码生成方法，属于计算机技术领域，本发明的目的是提供一种能够使用Verilog HDL描述Petri网，并自动生成代码的工具，通过读取Petri网的输出矩阵、输入矩阵、延时矩阵，再由用户手动输入Petri网各库所最大容量自动生成硬件Petri网模型。该模型把库所和变迁作为架构的基本模块，采用组合逻辑和存储器实现P/T系统来实现Petri网系统中的变迁操作；采用随机策略对资源冲突等情况加以控制；设计时延模块针对不同的参数实现时延系统；设计控制器模块控制Petri网运行状态；设计存储器模块便于Petri网加载、采集数据。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 新兴软件和新型信息技术服务 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
