计算理论是计算机软件理论领域的基石。它的发展直接影响计算机科学家今天的工作。图灵机是自动机发展的高级形式,是迄今为止模拟能力最强的计算模型,但是其结构特点不便描述并行、并发、异步、分布、具有随机性或抽象层次较高的系统。Petri网是一种适合描述各种具有并发现象的计算模型,也是一种对系统软件形式化、图形化的描述和分析工具,具有直观、易懂和易用的优点。通过多种分析技术对模型进行分析,即可得到有关系统静态结构和动态行为方面的信息,根据这些信息可以对要开发的系统进行评价和改进。由“自动机”的内涵,将Petri网化归为自动机发展的高级形式之一。对图灵机和Petri网以及带抑制弧的增广Petri网模拟能力、分析技术和各自的优势作了详细的阐述及比较,并在此基础上,考虑图灵机的模拟能力,利用多带图灵机作为计算模型,定义了递归技术转移函数形式,给出图灵机调用的实现方法,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的;考虑Petri网与带抑制弧的增广Petri网的模拟能力,采用P/T网构建了一类B/S架构的在线评测系统层次模型,根据系统功能,提出了保证系统功能正确性应具有的重要性质;利用带抑制弧的增广Petri网构建了一类适合处理数据交换事务的交换网络系统模型。最后,对模型进行了验证。