随着教育信息化的发展,对虚拟数字电路实验室软件的需求也不断增加,但在搭建虚拟数字电路中存在很多问题,其中虚拟数字电路的排错则是虚拟数字电路实验室中需要解决的重要问题之一。文章以虚拟数字电路的排错算法研究为主要研究内容。文章主要做了三方面的工作：首先将数字电路常见的错误进行归类和总结；其次通过对网论、图论以及数据结构的研究最终研究出一种基于Petri网的深度优先遍历算法,这种算法可以很好的解决数字电路的排错问题；最后在具体实现上使用了基于Web2.0的FlexBuilder开发平台对算法进行编程,实现了排错系统的零安装、零配置,使得系统具有易扩展、易维护、交互性强等优点。本文章在完成的过程中实现了两种创新,首先文章的基于Petri网的深度优先遍历是通过对基础理论的探索而研究出来的,属于国内首创；其次,排错算法通过FlexBuilder平台使用多种技术最终实现软件的编程,使系统排错算法具有易扩展、交互性强等特征。通过本文章的研究可以很好的规避学生在搭建数字电路时由于概念的错误以及混乱而导致的错误连线以及连线不完整等情况,其次文章的实现为虚拟数字电路的教学奠定了基础,为国家教育事业的发展贡献了力量,最后本文章的提出也为后续其他电路的排错提供借鉴也引导作用。基于Petri网的深度优先遍历使用了Petri网的概念、理论以及模型通过对用户在虚拟数字电路实验室平台上构建起来的数字电路进行深度优先遍历,最终实现虚拟数字电路的排错功能。整个系统的排错可以从整体上分为电路搭建时的排错以及电路搭建完成后的排错。FlexBuilder融合了富互联网技术具有交互性强,能够承载多种数据业务的功能,且客户端配置简单灵活等特点,因此文章在算法的实现上采用了基于Web2.0的FlexBuilder开发平台,通过使用脚本语言ActionScript以及可扩展标记语言XML实现算法的编程。文章的框架是用户在客户端使用浏览器访问虚拟数字电路平台,在搭建数字电路时实时的通过HTTPService的SET方式将电路XML数据发送到服务器端,服务器端通过调用排错算法对电路的合法性进行鉴定,再将结果返回到客户端,最终实现虚拟数字电路的排错。通过不断验证,证明本排错系统是安全的、稳定的、功能强大的。本文章依托数字电路虚拟实验室平台于2012年5月中旬在新疆大学电气工程学院主页上实现投运,系统并获得中华人民共和国国家版权局颁发的证书。基于Web2.0环境的数字电路实验动态排错算法可以很好的实现在虚拟数字电路平台上搭建数字电路过程中的错误提示以及在电路搭建完成后的完整性鉴定。文章的提出是虚拟数字电路实验室的一种补充和完善,使得用户在使用虚拟数字电路实验室平台进行电路搭建的过程中系统能够可以很好的规避数字电路在搭建过程中的各种错误,矫正数字电路搭建者的不正确连线方式以及连线不完整等情况,为数字虚拟实验室中所搭建起来的数字电路的正确性和合法性提供依据。