[发明专利]高速ETC系统的建模和分析方法有效
| 申请号： | 202110521385.6 | 申请日： | 2021-05-13 |
| 公开（公告）号： | CN113344337B | 公开（公告）日： | 2023-06-20 |
| 发明（设计）人： | 于汪洋;孔金铭;贾萌韩;李鹏;张立臣;林亚光 | 申请（专利权）人： | 陕西师范大学 |
| 主分类号： | G06Q10/0633 | 分类号： | G06Q10/0633;G06Q50/26 |
| 代理公司： | 北京前审知识产权代理有限公司 11760 | 代理人： | 张静;李亮谊 |
| 地址： | 710000 陕西省*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于颜色Petri网及动态切片技术的高速ETC系统的建模和分析方法，其包括如下步骤：S100：通过颜色Petri网对高速ETC系统的业务流程进行建模；S200：利用颜色Petri网的动态切片技术对上述所建模型进行形式化分析。该方法能够找到ETC系统在设计上存在的缺陷，是一种普适的形式化方法，既可靠又方便。 | ||
| 搜索关键词： | 高速 etc 系统 建模 分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于陕西师范大学，未经陕西师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110521385.6/，转载请声明来源钻瓜专利网。
- 同类专利
- 专利分类
G06 计算；推算；计数
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法；其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政；管理
G06Q10-02 .预定，例如用于门票、服务或事件的
G06Q10-04 .预测或优化，例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理，例如组织、规划、调度或分配时间、人员或机器资源；企业规划；组织模型
G06Q10-08 .物流，例如仓储、装货、配送或运输；存货或库存管理，例如订货、采购或平衡订单
G06Q10-10 .办公自动化，例如电子邮件或群件的计算机辅助管理
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法；其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政；管理
G06Q10-02 .预定，例如用于门票、服务或事件的
G06Q10-04 .预测或优化，例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理，例如组织、规划、调度或分配时间、人员或机器资源；企业规划；组织模型
G06Q10-08 .物流，例如仓储、装货、配送或运输；存货或库存管理，例如订货、采购或平衡订单
G06Q10-10 .办公自动化，例如电子邮件或群件的计算机辅助管理
