发明专利 已授权

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

📄 申请号:CN202110521385.6 📄 发布日:2026/07/23

著录项目信息

申请日
2021-05-13
公开号
CN113344337B
公开日
2023-06-20
申请人
陕西师范大学
法律状态
已下证
专利类型
发明
主分类号
IPC 分类号

技术画像

应用场景

高速公路电子收费, 智慧交通管理, 交通流量分析, 收费站运行优化, 车路协同应用

摘要

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

……

……

图1
图2
图3

法律状态时间线

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐
议价
不含过户费

📋 交易方式: 委托待转让 📌 交易状态: 在售 👁️ 浏览次数:28 ❤️ 收藏人数:93 📋 项目申报: 未申报

资金托管 权属尽调 包过户
🏢 淄博智来知识产权服务有限公司
✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)
王**¥-10万
李** 企业¥-8万
陈**¥-3万
查看全部出价