[1]王雪辉 魏臻.基于时间Petri网的企业铁路作业系统模型的研究[J].计算机技术与发展,2007,(02):92-95.
　WANG Xue-hui,WEI Zhen.Research on Enterprise Railway Plan System Model Based on Timed Petri Nets[J].,2007,(02):92-95.
点击复制

基于时间Petri网的企业铁路作业系统模型的研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2007年02期
页码:
92-95
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Enterprise Railway Plan System Model Based on Timed Petri Nets
文章编号:
1673-629X（2007）02-0092-04
作者:
王雪辉 魏臻
合肥工业大学计算机与信息学院
Author(s):
WANG Xue-hui; WEI Zhen
School of Computer and Information, Hefei University of Technology
关键词:
作业计划; 时间Petri网; 触发策略; 冲突
Keywords:
shunting trip plan; timed Petri nets; firing strategy; conflict
分类号:
TP278 O233
文献标志码:
A
摘要:
由于企业自备铁路作业现场比较混乱，作业类型相当复杂，好多因素难以从数学模型的角度加以考虑，因此，寻找一种有效的建模方法来描述系统的数学模型是很有意义的。Petri网具有易于描述系统的并发、竞争、同步等特征，很好地满足了系统建模、验证及实现方面的众多需求。文中利用时间Petri网描述了企业铁路的作业系统的模型，并对产生的冲突提出了解决方案
Abstract:
Because the work places are a litde disorder, and the types of work plans are very complicated in enterprise own railway, lots of factors are difficult to be described from the point of view of mathematics model, it＇s most significative to find an effective modeling method to describe system. Petri nets are easy to describe the system about concurrency, competition and synchronization, and fully satisfy the requirement of system modeling, verification and realization. Describes the enterprise railway plan system model using timed Petri nets, and proposes a way to figure out the conflict

相似文献/References:

[1]韩咚 陈波.基于时间Petri网的多处理机的调度算法[J].计算机技术与发展,2007,(06):15.
　HAN Dong,CHEN Bo.Algorithm of Multiprocessor Scheduling Based on Time Petri Nets[J].,2007,(02):15.
[2]吴育春,李蜀瑜.基于时间Petri网的AADL模型[J].计算机技术与发展,2014,24(02):88.
　WU Yu-chun,LI Shu-yu.AADL Model Based on TPN[J].,2014,24(02):88.
[3]马铮,黄连丽,陶冰冰,等. 一种结合AADL和TPN的系统能耗建模方法[J].计算机技术与发展,2017,27(06):151.
　MA Zheng,HUANG Lian-li,TAO Bing-bing,et al. An Embedded System Energy Consumption Modeling Method Using AADL and TPN[J].,2017,27(02):151.

备注/Memo

备注/Memo:
王雪辉（1980-），男，福建福清人，硕士研究生，研究方向为计算机网络技术；魏臻，教授，研究方向为计算机控制技术、计算机网络技术
更新日期/Last Update: 1900-01-01