基于带抑止弧Petri网的C#多线程程序分析

在.net开发环境中使用C#语言编写多线程代码可以大大提高代码的运行效率,更好的利用计算机的资源。但是多线程代码在运行过程中有着不确定性会导致代码中的潜在错误难以发现,使得代码的正确性和健壮性受到影响。本文通过Petri网对一个C#多线程程序建立模型并且通过对该模型的结构和行为进行分析从而对程序中的错误进行定位,然后分析了引发错误的原因并给出了解决方案。