【摘要】：為進(jìn)行系統(tǒng)死鎖檢測,對Petri網(wǎng)特定標(biāo)識的不可達(dá)性判定方法進(jìn)行研究。對基于虹吸管、陷阱、S-不變量、加模S-不變量等結(jié)構(gòu)特性以及基于狀態(tài)方程解存在性的不可達(dá)標(biāo)識判定方法進(jìn)行分析,研究了上述方法可以判定的不可達(dá)標(biāo)識之間的相互關(guān)系,建立了Petri網(wǎng)不可達(dá)標(biāo)識的分類體系,為更好地進(jìn)行標(biāo)識不可達(dá)性判定提供了理論依據(jù)。分別結(jié)合哲學(xué)家就餐問題和一個(gè)跨組織協(xié)同業(yè)務(wù)流程Petri網(wǎng)模型的死鎖狀態(tài),檢測說明了標(biāo)識不可達(dá)判定方法的應(yīng)用。
[Abstract]:In order to detect system deadlock, the reachability determination method of Petri net is studied. Based on the structural characteristics of siphon, trap, S- invariant, modular S- invariant, and the existence of the solution of the equation of state, the unreachable identification method is analyzed. In this paper, the relationship between the unreachable marks determined by the above methods is studied, and the classification system of the unreachable marks based on Petri nets is established, which provides a theoretical basis for determining the unreachability of the markers better. Combined with the dining problem of philosophers and the deadlock state of a cross-organization collaborative business process Petri net model, the application of identification unreachable decision method is illustrated.
【作者單位】： 山東科技大學(xué)信息科學(xué)與工程學(xué)院;同濟(jì)大學(xué)嵌入式系統(tǒng)與服務(wù)計(jì)算教育部重點(diǎn)實(shí)驗(yàn)室;山東科技大學(xué)電子通信與物理學(xué)院;山東科技大學(xué)數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金資助項(xiàng)目(61170079;61202152;61472229;61502279) 山東省科技發(fā)展資助項(xiàng)目(2014GGX101035;ZR2015FM013) 山東省優(yōu)秀中青年科學(xué)家科研獎(jiǎng)勵(lì)基金資助項(xiàng)目(BS2014DX013) 同濟(jì)大學(xué)嵌入式系統(tǒng)與服務(wù)計(jì)算教育部重點(diǎn)實(shí)驗(yàn)室開放課題基金資助項(xiàng)目(ESSCKF201403) 山東科技大學(xué)科研創(chuàng)新團(tuán)隊(duì)支持計(jì)劃與領(lǐng)軍人才計(jì)劃資助項(xiàng)目 山東省高等學(xué)校青年骨干教師國內(nèi)訪問學(xué)者資助項(xiàng)目~~
【分類號】：TP301.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前3條

1 陸以勤,葉青,賀前華,韋崗;改進(jìn)覆蓋樹與標(biāo)識網(wǎng)死鎖的檢測[J];華南理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2001年08期

2 王鵬偉;吳哲輝;;幾種滿足匯合性質(zhì)的Petri網(wǎng)子類[J];計(jì)算機(jī)工程;2009年04期

3 ;[J];;年期

，

本文編號：2415834