论文部分内容阅读
研究了并发Java程序控制流模型的建模问题．通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力，提出了一种并发Java程序控制流模型——CJCFM，并给出了从并发Java程序构造该模型的方法．CJCFM以带抑止弧Petri网为基础，简单直观，可模拟程序实际运行过程，对并发程序的理解、分析和测试有很大帮助．通过对现有开源Petri网实验平台PIPE的功能进行扩展，可在该平台中直接构造并执行CJCFM．借助成熟的Petri网理论与算法，可验证CJCFM的各种性质，从而达到对源程序进行