公开(公告)号：CN118368223B

公开(公告)日：2024-11-01

申请号：CN202410318137.5

申请日：2024-03-20

Applicant: 扬州大学

Inventor： 王敏 ,  王一可 ,  孙小兵 ,  吴潇雪 ,  盛国军 ,  秦承刚

IPC: H04L43/0823 ,  H04L43/50 ,  H04L41/14 ,  H04L41/142

Abstract: 本发明公开了一种基于Petri‑Net的信息物理系统中数据冗余错误的检测方法及系统，该方法首先将信息物理系统映射为带数据的佩特里网并生成合并过程；其次，根据删除规则优化合并过程中的事件和条件得到优化合并过程；在所述优化合并过程中判断每一个事件是否为冗余事件；最终输出数据冗余错误的事件集合。本发明通过删除规则对合并过程进行优化，降低了模型的复杂度；设计了数据冗余错误的检测算法，可以检测出信息物理系统数据流中的数据冗余错误，以验证信息物理系统的设计正确性。

公开(公告)号：CN118368223A

公开(公告)日：2024-07-19

申请号：CN202410318137.5

申请日：2024-03-20

Applicant: 扬州大学

Inventor： 王敏 ,  王一可 ,  孙小兵 ,  吴潇雪 ,  盛国军 ,  秦承刚

IPC: H04L43/0823 ,  H04L43/50 ,  H04L41/14 ,  H04L41/142

Abstract: 本发明公开了一种基于Petri‑Net的信息物理系统中数据冗余错误的检测方法及系统，该方法首先将信息物理系统映射为带数据的佩特里网并生成合并过程；其次，根据删除规则优化合并过程中的事件和条件得到优化合并过程；在所述优化合并过程中判断每一个事件是否为冗余事件；最终输出数据冗余错误的事件集合。本发明通过删除规则对合并过程进行优化，降低了模型的复杂度；设计了数据冗余错误的检测算法，可以检测出信息物理系统数据流中的数据冗余错误，以验证信息物理系统的设计正确性。