搜索结果: 1-3 共查到“工学 Colored petri net”相关记录3条 . 查询时间(0.046 秒)
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...
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...