您當(dāng)前的位置：成果庫(kù) > 一種基于MSVL的Petri網(wǎng)模型檢測(cè)方法
308
2018/08/25
咨詢成果
發(fā)布成果基本信息
- 成果類型 高等院校
- 委托機(jī)構(gòu) 西安電子科技大學(xué)
- 成果持有方 西安電子科技大學(xué)
- 行業(yè)領(lǐng)域 信息安全
- 項(xiàng)目名稱 一種基于MSVL的Petri網(wǎng)模型檢測(cè)方法
- 知識(shí)產(chǎn)權(quán) 發(fā)明專利
- 項(xiàng)目簡(jiǎn)介 本發(fā)明公開(kāi)了一種基于MSVL的Petri網(wǎng)模型檢測(cè)方法，首先利用現(xiàn)有的建模工具Workcraft建立Petri網(wǎng)系統(tǒng)模型，然后將該模型轉(zhuǎn)換成等價(jià)的MSVL程序，為此本發(fā)明給出了分別由Petri網(wǎng)系統(tǒng)的順序語(yǔ)意、并行語(yǔ)意和最大并行語(yǔ)意指導(dǎo)的三種轉(zhuǎn)換方法；最后使用現(xiàn)有的MSVL支持工具M(jìn)SV對(duì)生成的MSVL程序進(jìn)行仿真、建模和驗(yàn)證。針對(duì)上述轉(zhuǎn)換方法，本發(fā)明開(kāi)發(fā)了轉(zhuǎn)換工具PN3MSVL和PN4MSVL，使得工具M(jìn)SV能夠?qū)etri網(wǎng)系統(tǒng)的各種語(yǔ)意進(jìn)行分析和驗(yàn)證。本發(fā)明解決了現(xiàn)有的Petri網(wǎng)模型檢測(cè)方法難以充分驗(yàn)證各種語(yǔ)意的完全正則性質(zhì)的問(wèn)題。
交易信息
- 意向交易額 面議
- 掛牌時(shí)間 2017/12/19
- 委托機(jī)構(gòu) 西安電子科技大學(xué)
- 聯(lián)系人姓名 王小剛
- 聯(lián)系人電話 15802954800
- 聯(lián)系人郵箱 745490733@qq.com
- 分享至：
