基于Petri net with inhibitor arcs的Python多线程程序分析

被引：1

作者：

冯英华

机构：

[1] 淮南联合大学基础部

来源：

赤峰学院学报(自然科学版) | 2012年 / 28卷 / 23期

关键词：

Petri net with inhibitor arcs; 多线程; 模型; Python编程;

D O I：

10.13398/j.cnki.issn1673-260x.2012.23.047

中图分类号：

TP311.11 [];

学科分类号：

摘要：

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

引用

页码：43 / 44

页数：2