一种增强的基于Petri网可达图的测试序列生成算法,许德健,,Petri网(PN)是目前通信协议结构性测试中最常用的数学模型之一。在基于Petri网的测试序列生成算法中,通常要先构建被测模型的可达图