Perti网采用可视化图形描述但被形式化的数学方法所支持,表达离散事件动态系统的静态结构和动态变化。它是一种结构化的离散事件动态系统描述工具,对于具有异步并发、分布、不确定性和随机性的系统,都可以利用这种工具构建模型,然后对其进行分析,即可得到系统静态结构和动态行为方面的信息。它既有直观的图形表示,又有深刻的数学内涵和基础。Petri网的结构是指具有某种特征的图结构的子图包括如:siphon、trap、混惑等。网的结构性质就包括了S-不变量(S-invariant)和T-不变量(T-invariant)、死锁(deadlock)结构活性、结构有界、结构混惑等,由于这类性质由网的结构确定,它们中大多都可以通过网的关联矩阵给出确定的判定准则,得到比较完整的分析结果,这些结果又是用代数方法分析Petri网的基础[1 ]。本文的主要工作如下:(1)Petri网中,混惑会给系统分析和系统控制带来麻烦,有混惑的系统不是好系统,有混惑的模型不是好模型。文中针对混惑的特质进行了研究,在已知的3种结构混惑(增混惑、减混惑、不增不减混惑)的基础上,给出了基于增广Petri网的增混惑、减混惑的消除方法。(2)在Petri网结构性质下用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S_不变量给出订单后台处理模型的验证。(3)本文通过C/E系统比高级网系统更容易在硬件上实现的特点,通过进一步完善,利用C/E网下的两个精细化操作,最终给出了一个具有动态优先级调度策略的哲学家就餐问题C/E网持卡模型。