6 CPN子頁結構
用戶要求購n件某商品時網上商城將會根據銀行的認證和自己的驗證來確定用戶的合法性，如果確定用戶合法，則把用戶的要求發送給供貨商，由供貨商來提供商品。當供貨商（假設供貨商目前的庫存量為n）收到來自網上商城的訂單（x， n）時，首先檢查自己是否有該種商品，如果有，則將n件商品傳給物流商，同時更改庫存量為N-n，由物流商發送商品。如果庫存量小于n件，就先向用戶提供N件商品，然后向生產商要求補給n+n-N件商品，使供貨商的庫存產品數量隨著訂購和配送的變化而變化。
根據全局變量的定義，忽略商品種類，在子過程中只傳遞需求商品的數量。該工作流中p表示商品提供者的類型；P1表示“商品需求信息”；P2表示“庫存商品的數量”；P3表示“生成下一級的訂單”；P4表示“匹配過程”；P5表示“根據處理最終傳遞給請求者的商品數量”；P6表示“下級傳遞回來的商品的數量”；S表示每次處理一張訂單所消耗的資源；P7表示“將結果傳給下一個機構”。對于生產商來說，此時P6=P3，即需要生產商品時，生產商生產商品，之后直接將商品轉入庫存。T1表示“處理生成訂單”。根據需求信息和庫存量來判斷如何生成訂單。如果庫存量能夠滿足需求，則將需求信息傳遞給匹配過程，此時order（n，N）=0。T2表示“處理訂單的過程”。該過程模擬了傳遞商品的行為，此時de1ivery（n， N）=0，改變P2的狀態，庫存量更改為delivery（N， n）=N-n。并且將最終狀態傳遞給P4，此時delivery（n， N）=0，表示貨物充足。如果不滿足的話，則delivery（n， N）=n-N表示不足的商品數量。T3表示“向庫存中增加商品的過程”。當商品數量為0時，則有T1，12和T3的限制條件n>0，nN>0保證不觸發事件。
7 結構合理性和正確性分析
基于CPN構建的電子商務工作流模型，能夠直觀地反映項目群實施過程中順序、并行或同步等復雜的時空邏輯關系，揭示商務流程內部動態行為特征，為全面、準確地掌握項目群實施全過程、實現項目群實施階段的流程集成以及項目群資源優化提供有力的技術與方法支持。通過CPN構建工作流模型，可以動態地觀察各個環節所耗費的時間和其他資源，找出拖延商務流程節點的事件，從而做出最優化的電子商務流程。提高生產型南康家具企業的工作效率和降低總有用成本。
基于CPN進行工作流建模，解決了利用普通Petri網建立的電子商務系統模型圖形過于復雜的缺陷，利用CPN對電子商務中網上購物系統建模的過程證明了這種技術可操作性強，并分析了模型的合理性，證明了CPN建模可以有效地降低模型的復雜性，圖形更加簡約。但是，由于顏色集的引入；使得模型的可讀性降低。同時，在建模的過程中未引入時間的因素，只能通過可達圖的方法來分析模型的結構合理性而未能夠進行模型的性能分析，今后需要做一些工作來克服這些缺點。
【參考文獻】
[1]陳翔，夏國平.基于著色Petri網的工作流建模和合理性分析[J].計算機集成制造系統CIMS，2004，10（4）：381-387.
[2]王刊良.基于分類的南康家具企業電子商務模式創新方法[J].系統工程理論與實踐，2003（3）：18-23.
[3]KURT Jensen.Colored Petri nets： Basic Concepts， Analysis Methods and Practical Use（Volume 1）[M]. Berlin： Springer， 1992：69-78.
[4]朝霞，曾廣周.Petri網在商務工作流建模中的應用研究[J].計算機工程與應用，2003（19）：199-202.
[5]JENSEN K.Colored Petri nets-basic concepts， analysis methods and practical use[M].New York：Springer，1997.
[責任編輯：湯靜]
用戶要求購n件某商品時網上商城將會根據銀行的認證和自己的驗證來確定用戶的合法性，如果確定用戶合法，則把用戶的要求發送給供貨商，由供貨商來提供商品。當供貨商（假設供貨商目前的庫存量為n）收到來自網上商城的訂單（x， n）時，首先檢查自己是否有該種商品，如果有，則將n件商品傳給物流商，同時更改庫存量為N-n，由物流商發送商品。如果庫存量小于n件，就先向用戶提供N件商品，然后向生產商要求補給n+n-N件商品，使供貨商的庫存產品數量隨著訂購和配送的變化而變化。
根據全局變量的定義，忽略商品種類，在子過程中只傳遞需求商品的數量。該工作流中p表示商品提供者的類型；P1表示“商品需求信息”；P2表示“庫存商品的數量”；P3表示“生成下一級的訂單”；P4表示“匹配過程”；P5表示“根據處理最終傳遞給請求者的商品數量”；P6表示“下級傳遞回來的商品的數量”；S表示每次處理一張訂單所消耗的資源；P7表示“將結果傳給下一個機構”。對于生產商來說，此時P6=P3，即需要生產商品時，生產商生產商品，之后直接將商品轉入庫存。T1表示“處理生成訂單”。根據需求信息和庫存量來判斷如何生成訂單。如果庫存量能夠滿足需求，則將需求信息傳遞給匹配過程，此時order（n，N）=0。T2表示“處理訂單的過程”。該過程模擬了傳遞商品的行為，此時de1ivery（n， N）=0，改變P2的狀態，庫存量更改為delivery（N， n）=N-n。并且將最終狀態傳遞給P4，此時delivery（n， N）=0，表示貨物充足。如果不滿足的話，則delivery（n， N）=n-N表示不足的商品數量。T3表示“向庫存中增加商品的過程”。當商品數量為0時，則有T1，12和T3的限制條件n>0，nN>0保證不觸發事件。
7 結構合理性和正確性分析
基于CPN構建的電子商務工作流模型，能夠直觀地反映項目群實施過程中順序、并行或同步等復雜的時空邏輯關系，揭示商務流程內部動態行為特征，為全面、準確地掌握項目群實施全過程、實現項目群實施階段的流程集成以及項目群資源優化提供有力的技術與方法支持。通過CPN構建工作流模型，可以動態地觀察各個環節所耗費的時間和其他資源，找出拖延商務流程節點的事件，從而做出最優化的電子商務流程。提高生產型南康家具企業的工作效率和降低總有用成本。
基于CPN進行工作流建模，解決了利用普通Petri網建立的電子商務系統模型圖形過于復雜的缺陷，利用CPN對電子商務中網上購物系統建模的過程證明了這種技術可操作性強，并分析了模型的合理性，證明了CPN建模可以有效地降低模型的復雜性，圖形更加簡約。但是，由于顏色集的引入；使得模型的可讀性降低。同時，在建模的過程中未引入時間的因素，只能通過可達圖的方法來分析模型的結構合理性而未能夠進行模型的性能分析，今后需要做一些工作來克服這些缺點。
【參考文獻】
[1]陳翔，夏國平.基于著色Petri網的工作流建模和合理性分析[J].計算機集成制造系統CIMS，2004，10（4）：381-387.
[2]王刊良.基于分類的南康家具企業電子商務模式創新方法[J].系統工程理論與實踐，2003（3）：18-23.
[3]KURT Jensen.Colored Petri nets： Basic Concepts， Analysis Methods and Practical Use（Volume 1）[M]. Berlin： Springer， 1992：69-78.
[4]朝霞，曾廣周.Petri網在商務工作流建模中的應用研究[J].計算機工程與應用，2003（19）：199-202.
[5]JENSEN K.Colored Petri nets-basic concepts， analysis methods and practical use[M].New York：Springer，1997.
[責任編輯：湯靜]