搜索结果: 1-9 共查到“工学 Petri-Net”相关记录9条 . 查询时间(0.078 秒)
A Multi-scale GIS Database Model Based on Petri Net
Petri Net Scale Cartographic generalization
2015/8/17
In cartographic generalization, cartographic entities would change with scale. State and event are two basic elements to describe
these changes. However, current hierarchical multi-scale representati...
为解决动态故障树抽象而不利于交流的问题,利用Petri Net直观、易用且适用范围广的优点,提出基于Petri Net的飞机系统安全性指标分配方法。通过整理安全性指标及其相关的可靠性指标,选取失效率作为安全性指标,对比动态故障树及Petri Net建模方法,选取后者建立静态逻辑变迁和动态逻辑变迁的Petri Net指标分配模型。在此基础上,提出考虑严酷等级的系统安全性指标分配方法,经过算例分析,构...
Verification of the safety communication protocol in train control system using colored Petri net
EURORADIO The safety communication protocol Colored petri net Verification
2012/4/16
This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishmen...
Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net
automotive body CAN/LIN bus information sharing
2011/8/4
Recently automotive nets are adopted to solve increasing problems in automotive electronic systems. Technologies of automotive local area network from CAN and LIN can solve the problems of the increas...
基于自组织Petri Net优化设计换热网络
Petri Net 夹点设计 换热网络 分析综合
2010/5/4
基于Petri Net的动态并发特性和逻辑表述能力,构造最小传热温差优化、夹点分析、网络综合及结构调优模块。首先,根据Petri Net激发规则和垂直传热原则,实现最小允许传热温差的优化;然后,根据Petri Net四则运算机制,实现夹点分析数据流辗转传递,确定夹点、最大热回收和最小冷、热公用工程等信息;进而,根据Petri Net监督学习机制,拓扑夹点设计可行性经验规则,综合初始换热网络结构;最...
A New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems
Supervisory Control Petri Nets Discrete Event Systems (DES)
2009/7/28
A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled super...
一种基于Petri-Net的新型MVC模式及实现
MVC Petri-Net ERP
2009/6/29
MVC(模型/视图/控制器)是一种应用广泛的设计模式,ERP是一种复杂的大型企业信息系统。阐述了MVC模式的原理及其主要应用方式,提出并实现了一种基于Petri-Net的新型MVC模式,能非常好地解决CS(Client/Server)环境下ERP系统具有的复杂的交互操作以及复杂的业务流程。
A stochastic colored petri net model to allocate equipments for earth moving operations
EarthMoving Works Simulation Decision Making Colored Petri Nets
2010/9/29
Earth moving operations can be represented as Discrete Events Systems (DES), which propitiates qualitative and quantitative analysis. In this paper we propose a model using Stochastic Colored Petri Ne...
AbstractThe problem of constructing a Petri net feedback controller, which enforces linear inequality constraints involving the marking vector and the Parikh vector on a discrete event system (DES) mo...