Petri網(wǎng)在井下機車調(diào)度中的建模與仿真.pdf

1、本文介紹了井下機車調(diào)度系統(tǒng)的的發(fā)展現(xiàn)狀、發(fā)展趨勢。介紹了建模工具Petri網(wǎng)的來源以及特點，同時對Petri網(wǎng)的理論進(jìn)行了系統(tǒng)的介紹。由于礦井機車運輸監(jiān)控系統(tǒng)是典型的離散事件系統(tǒng)，采用離散事件系統(tǒng)的建模方法對其進(jìn)行建模有助于分析調(diào)度聯(lián)鎖過程的正確性和安全性。因而本文著重闡述離散事件建模工具——etri網(wǎng)對調(diào)度規(guī)則的建模過程，在文章的最后給出了一套與實際井下調(diào)度系統(tǒng)KJ15a相配套的仿真系統(tǒng)設(shè)計方案。 論文主要工作可歸納為：

2、 1)介紹了井下機車調(diào)度系統(tǒng)，總結(jié)了系統(tǒng)應(yīng)用的意義，對井下機車調(diào)度系統(tǒng)在我國的發(fā)展現(xiàn)狀進(jìn)行了總結(jié)，展望了其發(fā)展趨勢，引入了建模工具petri網(wǎng)，介紹了它的發(fā)展歷史。 2)介紹了Petri網(wǎng)的理論體系，Petri網(wǎng)理論體系中的重要部分作了介紹。 3)分析了機車調(diào)度聯(lián)鎖的基本規(guī)則，采用有色Petri網(wǎng)對礦井機車調(diào)度聯(lián)鎖過程進(jìn)行了建模。在建模的過程中，對庫所和變遷進(jìn)行了著色；使用約束組合弧并結(jié)合外部輸入的車到和過車信息，對機