• 山東科技大學學報(自然科學版)

    2020, v.39;No.190(05) 89-97

    [打印本頁] [關閉]
    本期目錄(Current Issue) | 過刊瀏覽(Past Issue) | 高級檢索(Advanced Search)

    基于邏輯工作流網的有限無死鎖組合
    Finite deadlock-free combination based on logical workflow network

    陳金棟;劉偉;馮新;劉雷;

    摘要(Abstract):

    以邏輯工作流網作為描述過程模型的方法,提出了邏輯工作流網的有限組合,以狀態轉換圖來描述工作流網的可達邏輯活動序列。根據死鎖的充分條件,提出狀態映射用以判斷兩個工作流網組合后出現的死鎖。通過刪除進入死鎖的邏輯活動序列,提出標準伙伴狀態轉換圖用以表述無死鎖組合的活動序列。最后提出判斷有限組合是否存在死鎖的方法,并用一個簡單的電子商務實例說明了方法的有效性。

    關鍵詞(KeyWords): Petri網;邏輯工作流網;死鎖;組合;多集

    Abstract:

    Keywords:

    基金項目(Foundation): 山東科技大學研究生科技創新項目(SDKDYC190333)

    作者(Author): 陳金棟;劉偉;馮新;劉雷;

    Email:

    DOI: 10.16452/j.cnki.sdkjzk.2020.05.010

    參考文獻(References):

    擴展功能
    本文信息
    服務與反饋
    本文關鍵詞相關文章
    本文作者相關文章
    中國知網
    分享
    大庄家彩票