基于資源約束PETRI網(wǎng)的建模和資源優(yōu)化研究.pdf

1、經(jīng)濟(jì)全球化之后，企業(yè)越來(lái)越關(guān)注業(yè)務(wù)流程管理，而Petri網(wǎng)作為一種數(shù)學(xué)化的建模工具，也越來(lái)越多被應(yīng)用到業(yè)務(wù)流程管理的定量分析中。Petri網(wǎng)的發(fā)展同時(shí)得益于各種擴(kuò)展Petri網(wǎng)的創(chuàng)新，這豐富了基本Petri網(wǎng)的描述能力。但是目前的各種擴(kuò)展中，對(duì)于資源方面的全局約束，沒(méi)有太多的討論。本文將基于傳統(tǒng)的廣義Petri網(wǎng)，提出一種帶有全局資源約束的Petri網(wǎng)。添加了資源元素、資源變量、資源相關(guān)時(shí)間變遷的速率函數(shù)以及資源配置的單射函數(shù)，使得傳統(tǒng)

2、的廣義Petri網(wǎng)的時(shí)間變遷，都有一個(gè)資源關(guān)聯(lián)，時(shí)間變遷的實(shí)施，受到其相關(guān)聯(lián)的資源的約束。這種資源約束Petri網(wǎng)，不僅可以通過(guò)庫(kù)所和變遷以及有向弧，來(lái)建模業(yè)務(wù)流程中各個(gè)任務(wù)之間的相互關(guān)系，同時(shí)可以通過(guò)Petri網(wǎng)中的資源元素，來(lái)建模該業(yè)務(wù)流程中可以執(zhí)行這些任務(wù)的可用資源?；谶@種資源約束Petri網(wǎng)，設(shè)計(jì)開(kāi)發(fā)它的仿真程序，研究資源配置優(yōu)化算法。算法基于分枝定界法，首先確定對(duì)各種資源配置進(jìn)行探索的路徑，在探索過(guò)程中，使用減弱的條件約束，