基于Petri网的联锁软件测评仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.     

基于Petri网的铁路联锁软件测评的道岔仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于安全苛求软件的测试尤为适合,该文提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了针对铁路道岔的基于基本Petri网和有色Petri网2个建模实例。该模型有助于提高测试系统的安全性与精确性。     

MRP和JIT两种生产管理系统的比较研究

长期以来，人们对ＭＲＰ和ＪＩＴ两种生产管理系统孰优孰劣一直争论不休。一方面，源于日本丰田公司看板系统的ＪＩＴ生产管理系统，随着日本经济的成功，使得许多人相信它在减少库存和在制品、缩短生产准备时间和生产提前期方面从根本上优于ＭＲＰ管理系统；另一方面，许多应用ＪＩＴ生产管理系统的企业并没有取得预期的经济效益，甚至生产效益没有任何改善。本文的目的，是通过建立两种生产管理系统的模型，进行计算机仿真研究，定     

一种面向网格工作流的增强型Petri网建模方法

随着网格技术的迅速发展,网格工作流也逐渐成为了研究的热点.对于传统的工作流而言,Petri-Net与WF-Net以其简单实用的特点而被广泛使用.然而,它们在实际建模的过程中仍存在一些问题,同时也无法满足网格环境下工作流的建模要求.因此,提出一种新的增强型Petri网建模方法.该方法在Petri的基础上,对嵌套、撤回、资源等方面做了严密的定义,弥补了Petri-Net与WF-Net的不足,是一种有效的针对于网格工作流的建模方法.     

基于Petri网模型的FMS控制决策方法研究

应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控制规则 ,构造了该FMS管理与控制软件 ,实现了用于一实际FMS的调度与控制决策系统和动态运行的有效控制     

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

A Petri-Net-based modelling approach to railway bridge asset management

Management of a large portfolio of infrastructure assets is a complex and demanding task for transport agencies. Although extensive research has been conducted on probabilistic models for asset management, in particular bridges, focus has been almost exclusively on deterioration modelling. The model being presented in this study tries to reunite a disjointed system by combining deterioration, inspection and maintenance models. A Petri-Net modelling approach is employed and the resulting model consists of a number of different modules each with its own source of data, calibration methodology and functionality. The modules interconnect providing a robust framework. The interaction between the modules can be used to provide meaningful outputs useful to railway bridge portfolio managers.     

面向Artifact的业务过程模型

提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。     

基于IDEF3/Petri的导弹营训练任务建模

在对某导弹营装备系统的组成、功能和所执行的训练任务进行简要剖析的基础上,针对训练任务的复杂性,提出复杂任务按任务流程进行层次分解的思想和方法,利用IDEF3系列软件Bpwin对导弹营的训练任务进行分解并建立其过程模型。在此基础上,研究IDEF3技术向Petri网技术的转换规则,将过程模型转换为ExSpect仿真环境下的仿真模型,并给出仿真的信息表单。