摘要：为了使结构化面向对象形式语言(SOFL)适应面向服务的软件架构,提出了一种用于面向服务架构软件需求求精的新方法.使用分层petri网进行建模,利用顺序图对消息传递进行分析,采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层petri网的Web服务,定义了分层服务网、分层Web服务相关概念,描述了用于Web服务软件需求的分析、设计和建模完整过程,并给出了旅游服务中该过程的具体实例.实例分析表明,该方法适宜Web服务分析建模,可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.

摘要：建立飞行作战任务过程模型是综合运用态势评估、故障诊断等技术设计新一代智能座舱的基础,同时也可应用于飞行员的行为预测及评估。本文以战术轰炸任务为例,介绍了工作流网技术在飞行作战任务建模上的应用。针对传统petri网不能体现态势变化对飞行员行为的影响,本文设计了带非齐次弧的分层petri网应用于战术轰炸任务过程的工作流网建模中,使子网变迁的平均实施速率可以随着航线状态的变化而变化,同时给出了利用可达性定理证明工作流网合理性的方法。在子网中,设计了变λ随机petri网应用于飞行员执行任务过程的建模中,并利用该模型分析了飞行员的稳定工作状态,为飞行员行为预测、评估建立基础。

摘要：随着控制系统发展,传统的PLC编程方法已不适用于具有并发、离散性质的复杂系统。基于petri网模型的PLC程序设计方法,由于具有图形性质和对并发事件建模的能力,从而逐渐在复杂PLC控制系统中得到应用。然而所建模型往往繁杂,不利于分析和实现。通过将分层petri网和T组合petri网两种化简方法相结合,使得系统模型更另简明直观便于分析。在钢胚磷化PLC控制系统中应用,系统运行状况良好。给出了系统的petri网模型和逻辑方程。