摘要：采用将分层petrinet和T组合petrinet相结合的方法,构建了钢坯磷化PLC控制系统的petrinet模型,并采用T组合petrinet的方法对系统性能进行了分析.结果表明:3个子petrinet具有相同的结构性质,只要分析其中一个子petrinet模型,就可以推导出整个系统的性能,大大简化了系统性能分析的工作量.最后给出了系统的主要控制逻辑方程.

摘要：根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织petrinet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了petrinet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配原则,对换热网络夹点匹配的分流问题进行了研究,建立了综合考虑夹点规则的数学公式,有利于快速准确地进行夹点处流股的分流匹配。通过实例计算说明了提出方法的可行性和有效性。

摘要：高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断的系统。基于Petri net方法构建的飞行器异常事件诊断系统,通过分析差异事件对飞行器状态的影响规律,以各状态量传感器读数为输入,发生的事件类型为输出,可以使飞行器自主利用Petri net的矩阵推理运算能力快速在线定位出引起状态异常的事件类型,为后续采取的控制行为提供依据。最后以某RLV再入段为例,对其注入各种类型故障后,应用C++软件对事件诊断系统正确性进行仿真验证,结果证明建立的诊断系统能够正确的诊断和区分不同类型事件。

摘要：对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。

摘要：针对飞机设计流程建模中遇到的建模过程复杂,主观性强等情况,提出了基于协同模式的建模方法。从某飞机设计实践出发,结合以往设计经验,调查设计组织、设计流程、设计工具等方面,归纳现有协同模式。结合各个模式的应用场合,分析其特点和优缺点。在此基础上,提出借助协同关联网络进行建模。协同关联网络由各模式协同行为和对应设计对象连接而成。使用petrinet的网射分析寻找协同关联网络中的重复/迭代过程,辅助建立简化的流程骨架。以此骨架为基础,增加附属信息形成通用设计流程模型。用例证明,该建模方法分离飞机设计专业知识和流程建模知识需求,降低建模难度,交互验证的中间信息和形式化的分析方法增加了建模过程的客观性。

摘要：提要通过对造船工艺设计流程的分析,基于petrinet理论建立了工艺工作流模型,能够对工艺设计过程进行动态描述,并通过实例演示了模型正确性检验的过程。

摘要：提出了一种利用ＰｅｔｒｉＮｅｔ及可采用形式描述的ＰＡＢ表相结合方式对基于活动、产品和执行代理间关系为基础的软件过程定义方法—Ｐ－Ｆ模型。它具有直观性、具体性及全面性。其嵌套特性允许采用自顶向下或自底向上的建模方法，并允许对软件过程进行分层设计及分层管理策略，也可以适用于粗放管理或更为精细严格的管理，使之执行时更趋于规范化及自动化。最后提出了利用现有商品化软件部件快速开发软件过程计算机支持环境的方案，并给出了开发信息查询系统ＴＣＰＳＳ的软件过程的Ｐ－Ｆ模型实例。

摘要：概述工作流技术，介绍基于数据库的工作流参考模型及基于petrinet的工作流建模，分析目前工作流技术存在的不足，提出了基于数据库的工作流设计架构，实现了工作流数据库设计、工作流引擎设计及人机交互设计。