資料介紹
證明活的標(biāo)識S-圖、活的標(biāo)識T-圖、有界的沖突無關(guān)的Petri 網(wǎng)、有界的標(biāo)識T-圖具有匯合性質(zhì),討論共享合成與同步合成操作對Petri 網(wǎng)匯合性質(zhì)的保持性,得出由上述簡單的Petri 網(wǎng)子類通過共享合成及同步合成得到的復(fù)雜的網(wǎng)系統(tǒng)也具有匯合性質(zhì)。通過一個(gè)具有匯合性質(zhì)的復(fù)雜網(wǎng)系統(tǒng)實(shí)例驗(yàn)證該結(jié)論。
關(guān)鍵詞:Petri 網(wǎng);匯合性質(zhì);T-圖;S-圖;同步合成;共享合成
關(guān)鍵詞:Petri 網(wǎng);匯合性質(zhì);T-圖;S-圖;同步合成;共享合成
Petr
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于時(shí)間Petri網(wǎng)的并發(fā)系統(tǒng)建模分析方法 0次下載
- Petri網(wǎng)在計(jì)費(fèi)系統(tǒng)中的應(yīng)用研究_侯煜 0次下載
- 基于有色Petri網(wǎng)的模型驅(qū)動SOA服務(wù)模型組合
- Petri網(wǎng)在PLC程序設(shè)計(jì)中的應(yīng)用 23次下載
- 基于變遷指標(biāo)的Petri網(wǎng)分解方法 24次下載
- Petri網(wǎng)分析方法綜述 18次下載
- 基于Petri網(wǎng)推理的監(jiān)控視頻
- 基于Petri網(wǎng)的單向PWM整流電路建模
- 基于Petri網(wǎng)的煤礦企業(yè)電子商務(wù)模型研究
- Petri網(wǎng)的正向推理算法
- 基于Matlab環(huán)境的Petri網(wǎng)的仿真方法
- 基于對象Petri網(wǎng)的導(dǎo)彈作戰(zhàn)效能評估方法
- 基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測研究
- 基于對象Petri網(wǎng)的研究導(dǎo)彈作戰(zhàn)效能評估的方法
- 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
- 綜合熱分析儀:探索材料熱性質(zhì)的精密工具 950次閱讀
- 勻膠速度影響光刻膠的哪些性質(zhì)? 3.9k次閱讀
- 分享幾種濾波電路及原理 5.2k次閱讀
- 石墨烯納米帶器件:電性質(zhì) 1.3k次閱讀
- Rust原子類型和內(nèi)存排序 1.5k次閱讀
- 石墨烯納米帶器件:電性質(zhì) 1.5k次閱讀
- 智能汽車域控制器的以太網(wǎng)子系統(tǒng)的實(shí)現(xiàn) 1.9k次閱讀
- 拉普拉斯定義和基本性質(zhì) 2.1k次閱讀
- 如何計(jì)算硅的電子結(jié)構(gòu)和光學(xué)性質(zhì) 4.1k次閱讀
- 干貨:計(jì)算fibnacci 級數(shù)的幾種方法 3k次閱讀
- 幾種遠(yuǎn)程監(jiān)控通信方式的介紹_幾種遠(yuǎn)程監(jiān)控方式的比較 6.9k次閱讀
- 幾種常見信號運(yùn)算電路的介紹 4.1w次閱讀
- 激活函數(shù)中sigmoid、ReLU等函數(shù)的一些性質(zhì) 1.2w次閱讀
- 門電路作用是什么_門電路有幾種電路 5.4w次閱讀
- 機(jī)器視覺檢測技術(shù)的典型應(yīng)用 3.5k次閱讀
下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化(NPB 2.0)
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評論