高航

个人信息Personal Information

教授

博士生导师

硕士生导师

任职 : 精密与特种加工教育部重点实验室 副主任; 中国光整加工专业委员会 主任委员; 中国生产工程学会 常务理事; 中国国际磨粒加工技术学会(ICAT)常务理事

性别:男

毕业院校:东北工学院

学位:博士

所在单位:机械工程学院

学科:机械制造及其自动化

办公地点:机械工程学院知方楼7185室

联系方式:0411-84706138 gaohang@dlut.edu.cn

电子邮箱:gaohang@dlut.edu.cn

扫描关注

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

An extended time petri net with condition information

点击次数:

论文类型:期刊论文

发表时间:2009-09-21

发表刊物:Materials Science Forum

收录刊物:EI、CPCI-S、Scopus

卷号:628 629

页面范围:1-6

ISSN号:0878493123

关键字:Time Petri Net; multitask cooperation and competition; input condition set; output condition set

摘要:An extended Time Petri Net with condition information (ECTPN) is presented in this paper including two new attributes associated to place and transition that respectively represent input condition set and output condition set. Using the model can achieve multitask cooperation and competition and let token be able to select next transaction path according to inner information. Firstly, the Time Petri Net is introduced, and then a formal semantic meaning for ECTPN in terms of input and output items is defined. Finally, we give the denotation of ECTPN. Application shows that the ECTPN validate by using business modeling.© (2009) Trans Tech Publications, Switzerland.