|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2009年05 期
| 標(biāo)題 |
| 基于Petri網(wǎng)列車連掛解編模型分析(30 卷) |
| 英文標(biāo)題 |
| Petri Nets-based Analysis of Train Coupling and Uncoupling |
| 摘要 |
| 提出一種基于Petri網(wǎng)描述系統(tǒng)的方法，該方法(簡(jiǎn)稱EPN)將Petri網(wǎng)與UML思想相結(jié)合，通過(guò)5種簡(jiǎn)單的事件模型來(lái)分析系統(tǒng)。由于借鑒了UML思想，使得EPN易于對(duì)一些復(fù)雜系統(tǒng)進(jìn)行描述，也易于利用UML分析結(jié)果對(duì)系統(tǒng)快速建模。同時(shí)EPN是基于Petri網(wǎng)，因此完全可以利用現(xiàn)有Petri網(wǎng)的數(shù)學(xué) |
| 作者 |
| 新聞作者:陳為雄，趙紅衛(wèi)，張 闖，鄭雪洋 |
| 關(guān)鍵字 |
