关于2014年春节放假的通知01-26
关于参与“我喜欢的党员...02-11
关于举办“影像航天”主...06-11
“北斗产业化论坛”征文通知08-18
《难忘激情岁月——纪念...08-27
关于开展集团公司第二批...09-26
关于进一步征求支持革命...12-23
集团公司号召广大党员观...12-25
关于我们MORE>>
中国航天科技集团公司是根据国务院深化国防科技工业管理体制改革的战略部署,经国务院批准,于1999年7月1日在原中国航天工业总公司所属部分企事业单位基础上组建的国有特大型高科...
TTA流水线Petri网模型
作者: 朱勇
摘要:Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.
关键字: 传输触发构架 Petri网 Petri网标记语言 流水线