【摘要】：隨著系統(tǒng)工程的發(fā)展,對系統(tǒng)的質(zhì)量提出了更高的要求。首先以系統(tǒng)建模語言活動圖模型為焦點,提出一種將活動圖模型自動轉(zhuǎn)換為Petri網(wǎng)模型的機制,接著對某指揮控制系統(tǒng)的發(fā)射模塊進行建模,并通過轉(zhuǎn)換機制將活動圖模型轉(zhuǎn)化為Petri網(wǎng)模型,然后使用Petri網(wǎng)驗證工具對轉(zhuǎn)后之后的模型進行仿真驗證,保證了指揮信息系統(tǒng)的正確性。
[Abstract]:With the development of system engineering, the quality of the system has been put forward higher requirements. Firstly, focusing on the activity diagram model of system modeling language, a mechanism of automatically converting the activity diagram model into Petri net model is proposed, and then the launch module of a command and control system is modeled. Through the transformation mechanism, the activity graph model is transformed into Petri net model, and then the Petri net verification tool is used to simulate and verify the model, which ensures the correctness of the command information system.
【作者單位】： 北京計算機技術(shù)及應(yīng)用研究所;浙江大學(xué)軟件學(xué)院;
【基金】：國防基礎(chǔ)科研計劃(JCKY2016603C008)資助課題
【分類號】：TP301.1;N945.13

【相似文獻】

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

1 馬德云,俞時權(quán),胡浩民;求解哲學(xué)家就餐問題的兩個Petri網(wǎng)模型[J];上海師范大學(xué)學(xué)報(自然科學(xué)版);2002年03期

2 劉志勤;基于Petri網(wǎng)模型的航空兵仿真研究[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2005年S1期

3 秦奮濤;一種資源分配方案及其Petri網(wǎng)模型[J];河北北方學(xué)院學(xué)報(自然科學(xué)版);2005年01期

4 秦奮濤;趙喜清;張艷慧;南景宇;;工程問題的Petri網(wǎng)模型及其分析[J];數(shù)學(xué)的實踐與認識;2007年16期

5 王和勇;;Petri網(wǎng)模型在MIS系統(tǒng)中的應(yīng)用[J];中山大學(xué)研究生學(xué)刊(自然科學(xué)版);2001年01期

6 岳昊;李文杰;;自動制造系統(tǒng)Petri網(wǎng)模型中的非完美變遷[J];井岡山大學(xué)學(xué)報(自然科學(xué)版);2010年06期

7 王曉媛;左風(fēng)朝;;基本數(shù)據(jù)鏈路層協(xié)議的Petri網(wǎng)模型分析與優(yōu)化[J];中國科技信息;2005年23期

8 張力;趙宗濤;慕曉冬;邵軍勇;;一種分析作戰(zhàn)指控并發(fā)信息流的Petri網(wǎng)模型[J];西北大學(xué)學(xué)報(自然科學(xué)版);2006年01期

9 凌暉,熊德華,楊杰,葉劍平;天車與冶煉爐作業(yè)調(diào)度的Petri網(wǎng)模型[J];數(shù)學(xué)的實踐與認識;1996年01期

10 岳昊;李文杰;;自動制造系統(tǒng)Petri網(wǎng)模型中的分叉操作庫所[J];吉林師范大學(xué)學(xué)報(自然科學(xué)版);2010年04期

相關(guān)會議論文 前3條

1 陳浩勛;李惠峰;孫國基;;一類混雜系統(tǒng)的Petri網(wǎng)模型[A];1997年中國控制會議論文集[C];1997年

2 程冬玲;朱永利;王新穎;;Petri網(wǎng)模型的程序代碼轉(zhuǎn)換[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會通信與信息技術(shù)會議論文集（上冊）[C];2008年

3 胡瑜;陳光(礻禹);;GPIB高速數(shù)據(jù)傳輸協(xié)議的Petri網(wǎng)模型及分析[A];首屆信息獲取與處理學(xué)術(shù)會議論文集[C];2003年

相關(guān)碩士學(xué)位論文 前10條

1 陳麗娜;數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)模型的變化域分析與控制[D];安徽理工大學(xué);2016年

2 呂書強;基于Petri網(wǎng)模型的混雜電力系統(tǒng)緊急控制[D];北京工業(yè)大學(xué);2001年

3 陳超;基于Petri網(wǎng)模型的研發(fā)管理系統(tǒng)設(shè)計與實現(xiàn)[D];大連理工大學(xué);2009年

4 高方方;基于著色Petri網(wǎng)模型的案例推理研究[D];合肥工業(yè)大學(xué);2008年

5 周艷軍;模糊神經(jīng)Petri網(wǎng)模型優(yōu)化及應(yīng)用[D];天津科技大學(xué);2014年

6 楊艷;基于行為模式的Petri網(wǎng)模型變化區(qū)域的研究[D];安徽理工大學(xué);2014年

7 馮曉寧;水下無人探測器系統(tǒng)性能的面向?qū)ο驪etri網(wǎng)模型[D];哈爾濱工程大學(xué);2005年

8 胡核算;基于MIP算法的系統(tǒng)Petri網(wǎng)模型中的死鎖預(yù)防[D];西安電子科技大學(xué);2005年

9 李宏慧;基于著色Petri網(wǎng)模型的OSPF協(xié)議驗證[D];內(nèi)蒙古大學(xué);2003年

10 歐陽虹;基于Petri網(wǎng)模型合并的可配置業(yè)務(wù)流程變化域分析[D];安徽理工大學(xué);2015年

，

本文編號：2487511