一种基于时间Petri网的网络交易系统故障诊断方法

摘要

本发明公开了一种基于时间Petri网的网络交易系统故障诊断方法，通过用户的控制行为及时间检测，利用时间分支进程技术对交易系统的故障进行检测，一方面可以提高交易系统的健壮性，另一方面对交易系统可以进行提前防御。本发明优点在于：1.提出交易系统的时间分支进程技术，将其用于诊断网络交易系统故障诊断过程中；2.通过对交易流程的时间约束条件分析，提出了基于时间分支进程的交易系统故障诊断技术，在控制流基础上研究时间约束信息，并以此锁定交易系统的故障区域，能够较为精确找到交易系统的故障。