Petri网是有着深刻的学术内涵，又有着广阔的应用背景的计算机科学的一个分支。它的主要特征包括：并发、不确定性、异步描述和分析能力。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。工作流技术是进入九十年代以后计算机应用领域的一个新的研究热点。它主要包括工作流定义、工作流模型、工作流实现方案以及工作流事务管理四个方面。Van der Aalst在Petri网的基础上定义了WF-net,即工作流网，在工作流网中变迁被用来表示活动，而库所则表示活动的使能条件。Van der Aalst还把工作流管理联盟在规范中提出的几种基本的工作流原语映射成为相应的Petri网模型，由此建立了工作流网的基本组件与触发机制。本人的工作是基于一般Petri网的实际应用建模、性质以及工作流网的混惑检测。利用化简技术、不变技术、折叠技术，对Petri网及工作流网的一些理论及应用做了较为深入细致的工作，得到了一些新的结果。主要贡献包括：一、Petri网理论研究近年来，基于S-不变探讨Petri网系统结构的方法越来越受到人们的关注，由于正S(T)-不变在网系统性质研究中占有重要的地位，因而，本文通过网的关联矩阵(Incidence Matrix)得到一个判定P／T网正S(T)-不变的多项式算法，利用该方法可以验证网的一些相关性质。二、系统的模拟与验证自控网是一种自修正系统，主要用于并发系统中的程序规范以及工业控制中的数学建模等领域。本文运用自控网系统对一个成品加工批处理过程进行模拟，并利用Petri网的分析技术验证该模型是有效和合理的。三、工作流的理论研究工作流的提出源于办公自动化的发展，是对在计算机环境下具有异步并发特征的业务流程的形式化描述，其目标是在需要的时刻把需要的信息传递给需要它的人，使该项业务能高效地完成。工作流技术为企业的经营过程、自动化管理控制过程、最高决策系统等提供了一个从模型分析、建立、管理、仿真到运行的完整框架，是实现业务过程管理与控制的一项关键性技术。工作流网的过程定义中，Aalst在所提出的工作流网中进一步引入了三个子类：自由选择的WF-net、良构的WF-net和S可覆盖的WF-net。其目的在于避免影响合理性的某些结构，而结构混惑或许正是所不愿见到的。为此，本文利用Petri网中的混惑定义，详细地在工作流网中展开讨论，得出一个检测结构混惑的算法及混惑的检测，并将所得出的方法运用到具体的实例中。