首页专利查询专利详情

*来源于国家知识产权局数据，仅供参考，实际以国家知识产权局展示为准

高速ETC系统的建模和分析方法

发明专利有效专利

申请号：
CN202110521385.6
IPC分类号：G06Q10/06;G06Q50/26
申请日期：
2021-05-13
申请人：
陕西师范大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	高速ETC系统的建模和分析方法
申请号	CN202110521385.6	申请日期	2021-05-13
法律状态	实质审查	申报国家	中国
公开/公告日	2021-09-03	公开/公告号	CN113344337A
优先权	暂无	优先权号	暂无
主分类号	G06Q10/06 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法；其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法〔8〕 G06Q10/00 行政；管理〔8，2012.01〕 G06Q10/06 资源、工作流、人员或项目管理，例如组织、规划、调度或分配时间、人员或机器资源；企业规划；组织模型〔2012.01〕	IPC分类号	G;0;6;Q;1;0;/;0;6;;;G;0;6;Q;5;0;/;2;6查看分类表>
申请人	陕西师范大学	申请人地址	陕西省西安市雁塔区长延堡办长安南路东侧变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	陕西师范大学	当前权利人	陕西师范大学
发明人	于汪洋;孔金铭;贾萌韩;李鹏;张立臣;林亚光
代理机构	北京前审知识产权代理有限公司	代理人	张静;李亮谊

摘要

一种基于颜色Petri网及动态切片技术的高速ETC系统的建模和分析方法，其包括如下步骤：S100：通过颜色Petri网对高速ETC系统的业务流程进行建模；S200：利用颜色Petri网的动态切片技术对上述所建模型进行形式化分析。该方法能够找到ETC系统在设计上存在的缺陷，是一种普适的形式化方法，既可靠又方便。

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供