基于擴(kuò)展Petri網(wǎng)的新疆肉牛養(yǎng)殖溯源模型設(shè)計(jì)-第1篇

1、 基于擴(kuò)展Petri網(wǎng)的新疆肉牛養(yǎng)殖溯源模型設(shè)計(jì) 王森+李志剛Summary： 在“一帶一路”時(shí)代背景下，新疆的畜牧業(yè)發(fā)展迎來春天，且伴隨著人們生活水平的不斷提高，對(duì)食品質(zhì)量安全更為關(guān)注。針對(duì)新疆的肉牛養(yǎng)殖環(huán)節(jié)，構(gòu)建、驗(yàn)證基于擴(kuò)展Petri網(wǎng)的肉牛養(yǎng)殖工作流模型，并結(jié)合射頻識(shí)別（radio frequency identification，RFID） 技術(shù)搭建溯源模型，該模型可提高數(shù)據(jù)采集的效率與精度，加快肉牛養(yǎng)殖企業(yè)的信息化、自動(dòng)化建設(shè)步伐，實(shí)現(xiàn)肉牛養(yǎng)殖過程的可追溯性。Key： 肉牛養(yǎng)殖；溯源模型；擴(kuò)展Petri網(wǎng)；RFID技術(shù)： S126 文獻(xiàn)標(biāo)志碼： A ：1002-1302（2016）

2、03-0413-04當(dāng)前全世界有穆斯林人口超16億人，食用清真食品的大概有20億人，約占世界人口的1/5，且呈快速增長趨勢，食用清真食品人口的不斷增多，給包括中國在內(nèi)的發(fā)展中國家提供了前所未有的市場機(jī)遇。新疆地處我國西北邊陲，與哈薩克斯坦、塔吉克斯坦、吉爾吉斯斯坦、巴基斯坦等中亞國家接壤，共有28個(gè)邊境通商口岸，歷來以畜種優(yōu)良、畜產(chǎn)品豐富而聞名，許多穆斯林及周邊國家對(duì)新疆活畜及肉類產(chǎn)品非常感興趣，再加上“陸上絲綢之路”的戰(zhàn)略定位，促使了新疆現(xiàn)代物流業(yè)的快速發(fā)展，為新疆牛羊肉走出國門、走向中西亞、俄羅斯、歐洲各國提供了可能。但是，新疆肉牛規(guī)?；?biāo)準(zhǔn)化飼養(yǎng)及科學(xué)育肥技術(shù)的推廣應(yīng)用程度仍比較低，全

3、國年出欄肉牛1 000頭以上的規(guī)模養(yǎng)殖場約750個(gè)，新疆有11個(gè)，僅占全國的1.5%；肉牛標(biāo)準(zhǔn)化飼養(yǎng)及育肥技術(shù)入戶率不足10%，絕大多數(shù)采用傳統(tǒng)粗放的養(yǎng)殖方法。另外，從畜牧業(yè)的科技含量看，內(nèi)蒙古自治區(qū)達(dá)到58.9%，山東省為68.1%，而新疆僅為30%1。新疆從2005年開始建立農(nóng)產(chǎn)品的質(zhì)量安全監(jiān)測監(jiān)管體系和法規(guī)。目前，學(xué)者們主要集中在對(duì)養(yǎng)殖、屠宰、流通、銷售的整體研究，并以構(gòu)建溯源系統(tǒng)為最終目的。王爍等針對(duì)新疆高檔牛肉提出，以射頻識(shí)別（radio frequency identification，RFID）與條形碼技術(shù)結(jié)合標(biāo)志牛肉全過程的質(zhì)量安全溯源，消費(fèi)者可以從牛肉的溯源號(hào)追溯到養(yǎng)殖信息、

4、飼料獸藥信息、屠宰批次號(hào)、屠宰信息及流通和銷售信息等2。王爍等構(gòu)建的肉牛養(yǎng)殖過程信息管理系統(tǒng)、肉牛產(chǎn)品加工過程信息管理系統(tǒng)，是基于多模式的肉牛產(chǎn)品質(zhì)量安全溯源系統(tǒng)而開發(fā)的，可為消費(fèi)者提供 POS 機(jī)、網(wǎng)絡(luò)、短信等多渠道的溯源信息服務(wù)3。李天斗等通過對(duì)養(yǎng)殖、屠宰、加工、銷售等環(huán)節(jié)進(jìn)行分析，為新疆牛肉可溯源系統(tǒng)的開發(fā)應(yīng)用提供結(jié)構(gòu)化設(shè)計(jì)依據(jù)4。焦光源以牛肉供應(yīng)為研究對(duì)象，構(gòu)建了1套基于NET的新疆生鮮農(nóng)產(chǎn)品質(zhì)量安全追溯原型系統(tǒng)5。肉牛養(yǎng)殖環(huán)節(jié)作為屠宰、加工、流通等環(huán)節(jié)的基礎(chǔ)，是可追溯的真正源頭，當(dāng)前沒有專門針對(duì)肉牛養(yǎng)殖環(huán)節(jié)而構(gòu)建的溯源模型。本研究旨在分析肉牛的養(yǎng)殖環(huán)節(jié)，構(gòu)建肉牛養(yǎng)殖工作流模型，并利用

5、先進(jìn)的RFID識(shí)別技術(shù)，針對(duì)肉牛養(yǎng)殖過程中的關(guān)鍵數(shù)據(jù)進(jìn)行產(chǎn)品識(shí)別記錄，建立追溯檔案，從而構(gòu)建1套行之有效的溯源模型。1 溯源模型設(shè)計(jì)思想及相關(guān)概念國際標(biāo)準(zhǔn)化組織（ISO）定義，可追溯性是指通過記錄標(biāo)志裝置來跟蹤實(shí)體歷史、應(yīng)用或位置的能力6，是一種確保食品安全和質(zhì)量、減少與召回相關(guān)成本的有效方法7。根據(jù)食品安全追溯標(biāo)準(zhǔn)要求（ISO 22005），基于向上和向下的原則，每個(gè)公司都應(yīng)知道其供應(yīng)商和客戶8。Senneset等發(fā)現(xiàn)，為實(shí)現(xiàn)可追溯性，生產(chǎn)過程中必須記錄可追蹤單元的身份和這些單元的所有轉(zhuǎn)換9。20世紀(jì)60年代，卡爾A佩特里發(fā)明了Petri網(wǎng)，這是一種適于對(duì)具有異步并發(fā)特征的離散事件進(jìn)行模擬、

6、分析、設(shè)計(jì)和控制的圖形數(shù)學(xué)工具，目前在制造系統(tǒng)、通信網(wǎng)絡(luò)、數(shù)字電路綜合與驗(yàn)證等領(lǐng)域得到廣泛應(yīng)用10-12。經(jīng)典的Petri網(wǎng)是簡單的過程模型，由庫所和變遷2種節(jié)點(diǎn)、有向弧、令牌等元素組成。為解決經(jīng)典Petri網(wǎng)中測試庫所中沒有零令牌、模型容易變得龐大、模型不能反映時(shí)間內(nèi)容、不支持構(gòu)造大規(guī)模模型等問題，高級(jí)Petri網(wǎng)在令牌著色、時(shí)間、層次化、時(shí)序方面進(jìn)行擴(kuò)展，可達(dá)樹方法通過枚舉方式窮盡生成Petri網(wǎng)的所有可達(dá)標(biāo)志向量，并以樹結(jié)構(gòu)形式表示Petri網(wǎng)的可達(dá)狀態(tài)空間，進(jìn)而判定相應(yīng)的活性、安全性、有界性、可達(dá)性等性質(zhì)。肉牛養(yǎng)殖溯源模型既要保證養(yǎng)殖過程的可追溯性，又可以在養(yǎng)殖過程中實(shí)現(xiàn)追溯數(shù)據(jù)的采集

7、。首先對(duì)肉牛的養(yǎng)殖過程進(jìn)行分析，根據(jù)具體的養(yǎng)殖過程，建立肉牛養(yǎng)殖場架子牛育肥過程工作流邏輯網(wǎng)；其次，由工作流邏輯網(wǎng)生成肉牛養(yǎng)殖過程工作流網(wǎng)，對(duì)各對(duì)象內(nèi)部的Petri網(wǎng)進(jìn)行化簡、整合，即將全網(wǎng)轉(zhuǎn)化為經(jīng)典的Petri網(wǎng)；最后，將簡化的Petri網(wǎng)繪制可達(dá)樹進(jìn)行進(jìn)一步驗(yàn)證。在溯源數(shù)據(jù)采集方面，根據(jù)影響肉牛質(zhì)量安全的因子確定追溯單元，構(gòu)建溯源體系，并結(jié)合RFID相關(guān)技術(shù)，搭建溯源模型。2 基于擴(kuò)展Petri網(wǎng)的肉牛養(yǎng)殖工作流模型工作流是對(duì)業(yè)務(wù)進(jìn)程的形式化描述，包括描述任務(wù)間因果依賴與規(guī)章依賴等依賴關(guān)系的工作流邏輯和在此邏輯上增加顯性內(nèi)容的工作流語義。對(duì)肉牛養(yǎng)殖過程利用工作流的方法進(jìn)行業(yè)務(wù)過程的建模和深

8、入分析，不僅可以規(guī)范業(yè)務(wù)流程，發(fā)現(xiàn)業(yè)務(wù)流程中不合理的環(huán)節(jié)，進(jìn)而對(duì)業(yè)務(wù)流程進(jìn)行優(yōu)化重組，而且能夠豐富其知識(shí)庫和規(guī)則庫，全面提高其信息化與自動(dòng)化的程度，增強(qiáng)企業(yè)的核心競爭力。2.1 基于擴(kuò)展Petri網(wǎng)的肉牛養(yǎng)殖工作流模型分析工作流網(wǎng)中，庫所對(duì)應(yīng)過程中的條件，變遷對(duì)應(yīng)過程中的可執(zhí)行活動(dòng)，庫所中的令牌代表1個(gè)過程實(shí)例的狀態(tài)。養(yǎng)殖場從引進(jìn)架子牛到育肥成牛出欄的過程，主要由獸醫(yī)、飼養(yǎng)員這2個(gè)角色的工作人員完成，即工作流模型涉及獸醫(yī)、飼養(yǎng)員這2個(gè)物理對(duì)象，與之相對(duì)的子網(wǎng)系統(tǒng)也有2個(gè)，即獸醫(yī)職能類子網(wǎng)（O1）、飼養(yǎng)員職能類子網(wǎng)（O2）（圖1）。由圖2可見，消息緩沖庫所IM1和OM1之間為獸醫(yī)職能類子網(wǎng)（O1

9、）；消息緩沖庫所IM2和OM2之間為飼養(yǎng)員職能類子網(wǎng)（O2）。 2.2 模型驗(yàn)證與實(shí)證對(duì)獸醫(yī)職能類子網(wǎng)（O1）、飼養(yǎng)員職能類子網(wǎng)（O2）2個(gè)子網(wǎng)分別化簡、整合，得到肉牛養(yǎng)殖流程模型（圖3）。由圖4可見，所有的變遷均出現(xiàn)在可達(dá)樹中，Petri網(wǎng)中不存在死鎖；位置標(biāo)志只包含0、1這2個(gè)元素，Petri網(wǎng)有界、安全；Petri網(wǎng)能正常結(jié)束，且結(jié)束狀態(tài)只在E庫中有令牌。因此，該模型能正常運(yùn)行，是合理的。3 基于RFID技術(shù)肉牛養(yǎng)殖溯源模型的實(shí)現(xiàn)3.1 構(gòu)建肉牛養(yǎng)殖過程的追溯單元體系在肉牛養(yǎng)殖過程中，對(duì)肉牛的質(zhì)量構(gòu)成危害的主要因素有獸藥、消毒藥品、免疫藥品以及飼料添加劑，因此，本研究將這些影響因子定義為

10、追溯單元，將其整理構(gòu)成肉牛養(yǎng)殖過程的追溯單元體系（表1）。3.2 肉牛養(yǎng)殖溯源模型的具體實(shí)現(xiàn)傳統(tǒng)的數(shù)據(jù)采集多采用手工記錄、輸入、存檔，耗時(shí)、耗力且容易出錯(cuò)，效率低下。本模型將采集的數(shù)據(jù)自動(dòng)傳輸?shù)椒?wù)器進(jìn)行存儲(chǔ)，并在各種終端可實(shí)時(shí)查詢，方便快捷，可以實(shí)現(xiàn)肉牛養(yǎng)殖過程的可追溯性（圖5）。3.2.1 RFID電子標(biāo)簽 電子標(biāo)簽由芯片及天線組成，附著在物體上標(biāo)志目標(biāo)對(duì)象，每個(gè)電子標(biāo)簽具有唯一的電子編碼，存儲(chǔ)被識(shí)別物體的相關(guān)信息。本模型中，飼料、飼料添加劑、獸藥、消毒藥品、免疫藥品采用條形碼作為電子標(biāo)簽，存儲(chǔ)其各自的名稱、產(chǎn)商、批次及使用說明；利用中華人民共和國居民身份證對(duì)養(yǎng)殖場人員身份進(jìn)行認(rèn)證；用耳標(biāo)

11、對(duì)架子牛進(jìn)行識(shí)別，并與數(shù)據(jù)庫進(jìn)行相關(guān)聯(lián)。3.2.2 適配器 在大型養(yǎng)殖場中，讀寫設(shè)備千差萬別，通信協(xié)議多種多樣，為屏蔽硬件差異，RFID 中間件必須兼容各種讀寫設(shè)備。本模型為每種讀寫設(shè)備增加1個(gè)適配器，當(dāng)需要增加或減少讀寫設(shè)備時(shí)，只需對(duì)適配器進(jìn)行修改即可，從而降低了系統(tǒng)的耦合程度。適配器能夠提供一個(gè)統(tǒng)一、可擴(kuò)展的接口，中間件通過應(yīng)用適配器實(shí)現(xiàn)對(duì)讀寫設(shè)備的統(tǒng)一管理。3.2.3 RFID讀寫器 RFID讀寫器別稱閱讀器（Reader）或詢問器，是讀取和寫入電子標(biāo)簽內(nèi)存信息的設(shè)備。RFID系統(tǒng)工作時(shí)，一般先由讀寫器發(fā)射一個(gè)特定的詢問信號(hào)，當(dāng)電子標(biāo)簽感應(yīng)到這個(gè)信號(hào)，就會(huì)給出應(yīng)答信號(hào)，應(yīng)答信號(hào)中含有電子

12、標(biāo)簽攜帶的數(shù)據(jù)信息；讀寫器接收到應(yīng)答信號(hào)，對(duì)其進(jìn)行處理，并將處理后的應(yīng)答信號(hào)返回給外部主機(jī)，進(jìn)行相應(yīng)操作。3.2.4 RFID中間件 射頻識(shí)別RFID中間件（Middleware）處于讀寫器與后臺(tái)網(wǎng)絡(luò)的中間，扮演RFID硬件和應(yīng)用程序之間的中介角色，是RFID硬件和應(yīng)用之間的通用服務(wù)，能夠?qū)崿F(xiàn)對(duì)讀寫設(shè)備的配置、管理及監(jiān)控等功能。在實(shí)際應(yīng)用中，上層應(yīng)用關(guān)心的是有用數(shù)據(jù)，而真正采集過程中，由于讀寫器讀取的頻率高，一個(gè)標(biāo)簽會(huì)被重復(fù)多次讀取而只有一次有用，這樣會(huì)消耗大量計(jì)算資源。為減輕上層應(yīng)用系統(tǒng)的負(fù)擔(dān)，需要中間件對(duì)原始數(shù)據(jù)進(jìn)行冗余處理，對(duì)采集到的數(shù)據(jù)進(jìn)行過濾。由于某些因素，讀寫器偶爾還會(huì)讀到一些根本

13、不是系統(tǒng)所需要的數(shù)據(jù)，這時(shí)還需要對(duì)冗余處理后的數(shù)據(jù)進(jìn)行平滑處理。3.2.5 RFID數(shù)據(jù)庫 從每頭架子牛進(jìn)入養(yǎng)殖場開始，為其生成1個(gè)身份證號(hào)，并建立個(gè)體檔案存放于服務(wù)器中，身份證號(hào)、耳標(biāo)、個(gè)體檔案相關(guān)聯(lián)。在養(yǎng)殖過程中，利用RFID讀寫器，根據(jù)追溯單元采集數(shù)據(jù)，并經(jīng)過中間件對(duì)數(shù)據(jù)進(jìn)行處理，將數(shù)據(jù)存放到個(gè)體檔案中。4 結(jié)語對(duì)肉牛養(yǎng)殖環(huán)節(jié)的溯源流程進(jìn)行研究分析，構(gòu)建了基于擴(kuò)展Petri網(wǎng)的肉牛養(yǎng)殖工作流模型并對(duì)其進(jìn)行驗(yàn)證，證明了養(yǎng)殖過程的可追溯性。確定肉牛養(yǎng)殖過程的追溯單元，根據(jù)追溯單元構(gòu)建追溯單元體系，在此基礎(chǔ)上，利用RFID 技術(shù)構(gòu)建溯源模型，該模型可以集中管理配置并兼容不同標(biāo)準(zhǔn)的讀寫設(shè)備，有效

14、采集追溯單元上的數(shù)據(jù)，并對(duì)大量原始數(shù)據(jù)進(jìn)行過濾處理、冗余處理及數(shù)據(jù)平滑處理，減少讀寫器向應(yīng)用程序傳輸?shù)臄?shù)據(jù)量，提高數(shù)據(jù)采集精度，整體提高了系統(tǒng)的可溯源效率。但是本模型還比較簡單，在數(shù)據(jù)采集方面，RFID 數(shù)據(jù)的安全性需要進(jìn)一步解決，系統(tǒng)高層應(yīng)用開發(fā)也有待加強(qiáng)。Reference：1巴特爾. 對(duì)加快新疆肉牛產(chǎn)業(yè)發(fā)展問題的思考J. 中國畜牧業(yè)，2013（22）：30-33.2王 爍，劉世洪，鄭火國，等. 新疆牛肉可追溯系統(tǒng)研究與實(shí)現(xiàn)J. 安徽農(nóng)業(yè)科學(xué)，2013，41（26）：10856-10859，10861.3王 爍，劉世洪，鄭火國，等. 新疆特色牛肉質(zhì)量安全可追溯系統(tǒng)的研究與應(yīng)用J. 江蘇農(nóng)業(yè)

15、學(xué)報(bào)，2014，30（3）：682-684.4李天斗，陳新文，溫希軍. 新疆牛肉可溯源系統(tǒng)中養(yǎng)殖屠宰的信息流分析J. 農(nóng)業(yè)網(wǎng)絡(luò)信息，2014（5）：112-114.5焦光源.新疆生鮮農(nóng)產(chǎn)品質(zhì)量安全追溯系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)D. 石河子：石河子大學(xué)，2014.6European Committee for Standardization. EN ISO 8402-1995 Quality management and quality assurance：vocabularyS. International Organization for Standardization，1995.7Regattier

16、i A，Gamberi M，Manzini R. Traceability of food products：general framework and experimental evidenceJ. Journal of Food Engineering，2007，81（2）：347-356.8ISO 220052007 New ISO standard to facilitate traceability in food supply chainsS. International Organization for Standardization，2007.9Senneset G，F(xiàn)oras E，F(xiàn)remme K M. Challenges regarding implementation of electronic chain traceabilityJ. British Food Journal，2007，109（10）：805-818.10Murata T. Petri nets：properties，analysis and applicationsJ. Proceedings of the IEEE，1989，77（4）：541-58