摘要
Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.
Petri net as a modeling tool is particularly suitable for describing the system control flow, concurrency and asynchronous features, and has more advantages compared with the state machine behavior model. The TTA pipeline model based on Petri net, the P / T model and the CPN model, and the description the by PNML language are discussed in the paper.
出处
《微电子学与计算机》
CSCD
北大核心
2013年第2期29-32,共4页
Microelectronics & Computer
基金
国家自然科学基金项目项目(61142006)
