基于Petri网和常微分方程组的并发系统死锁分析方法

摘要

本发明公开了一种基于Petri网和常微分方程组的并发系统死锁分析方法，包括如下步骤：(1)根据系统结构构建并发系统的离散Petri网模型；(2)根据所得的离散Petri网模型，为每个变迁分配一个实施速率，从而构建对应的连续Petri网模型；(3)根据连续Petri网的语义，构建常微分方程组；(4)利用MATLAB求解常微分方程组；(5)根据常微分方程组的解计算系统的性能指标，如吞吐量、响应时间和利用率等。本发明提供的方法既能够对并发系统进行形式化建模，又能够有效的解决并发系统中的状态爆炸问题，从而得到并发系统的近似性能，为并发系统的性能测试和评估提供一种可应用的实际解决方案。