对于Petri网可达树的构建，通过VC++软件实现模拟，实现了可达树的建立，节点的查询等功能。