資料介紹
														證明活的標(biāo)識(shí)S-圖、活的標(biāo)識(shí)T-圖、有界的沖突無(wú)關(guān)的Petri 網(wǎng)、有界的標(biāo)識(shí)T-圖具有匯合性質(zhì),討論共享合成與同步合成操作對(duì)Petri 網(wǎng)匯合性質(zhì)的保持性,得出由上述簡(jiǎn)單的Petri 網(wǎng)子類(lèi)通過(guò)共享合成及同步合成得到的復(fù)雜的網(wǎng)系統(tǒng)也具有匯合性質(zhì)。通過(guò)一個(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-圖;同步合成;共享合成
												下載該資料的人也在下載
												下載該資料的人還在閱讀
											
											更多 >
											
										- 基于時(shí)間Petri網(wǎng)的并發(fā)系統(tǒng)建模分析方法 0次下載
 - Petri網(wǎng)在計(jì)費(fèi)系統(tǒng)中的應(yīng)用研究_侯煜 0次下載
 - 基于有色Petri網(wǎng)的模型驅(qū)動(dòng)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)的仿真方法
 - 基于對(duì)象Petri網(wǎng)的導(dǎo)彈作戰(zhàn)效能評(píng)估方法
 - 基于線(xiàn)性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測(cè)研究
 - 基于對(duì)象Petri網(wǎng)的研究導(dǎo)彈作戰(zhàn)效能評(píng)估的方法
 - 基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模
 
- 綜合熱分析儀:探索材料熱性質(zhì)的精密工具 365次閱讀
 - 勻膠速度影響光刻膠的哪些性質(zhì)? 2127次閱讀
 - 分享幾種濾波電路及原理 3716次閱讀
 - 石墨烯納米帶器件:電性質(zhì) 866次閱讀
 - Rust原子類(lèi)型和內(nèi)存排序 981次閱讀
 - 石墨烯納米帶器件:電性質(zhì) 1008次閱讀
 - 智能汽車(chē)域控制器的以太網(wǎng)子系統(tǒng)的實(shí)現(xiàn) 1404次閱讀
 - 拉普拉斯定義和基本性質(zhì) 1439次閱讀
 - 干貨:計(jì)算fibnacci 級(jí)數(shù)的幾種方法 2451次閱讀
 - 幾種遠(yuǎn)程監(jiān)控通信方式的介紹_幾種遠(yuǎn)程監(jiān)控方式的比較 6096次閱讀
 - 這幾種射頻模塊電路,如何布局最優(yōu)? 8412次閱讀
 - 幾種常見(jiàn)信號(hào)運(yùn)算電路的介紹 3.9w次閱讀
 - 激活函數(shù)中sigmoid、ReLU等函數(shù)的一些性質(zhì) 1.1w次閱讀
 - 門(mén)電路作用是什么_門(mén)電路有幾種電路 5.2w次閱讀
 - 機(jī)器視覺(jué)檢測(cè)技術(shù)的典型應(yīng)用 3199次閱讀
 
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
 - 0.00 MB | 1490次下載 | 免費(fèi)
 - 2單片機(jī)典型實(shí)例介紹
 - 18.19 MB | 93次下載 | 1 積分
 - 3S7-200PLC編程實(shí)例詳細(xì)資料
 - 1.17 MB | 27次下載 | 1 積分
 - 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
 - 4.28 MB | 18次下載 | 4 積分
 - 5開(kāi)關(guān)電源原理及各功能電路詳解
 - 0.38 MB | 10次下載 | 免費(fèi)
 - 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
 - 0.11 MB | 4次下載 | 免費(fèi)
 - 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
 - 0.23 MB | 3次下載 | 免費(fèi)
 - 8基于單片機(jī)的紅外風(fēng)扇遙控
 - 0.23 MB | 3次下載 | 免費(fèi)
 
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
 - 0.00 MB | 234313次下載 | 免費(fèi)
 - 2PADS 9.0 2009最新版 -下載
 - 0.00 MB | 66304次下載 | 免費(fèi)
 - 3protel99下載protel99軟件下載(中文版)
 - 0.00 MB | 51209次下載 | 免費(fèi)
 - 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
 - 0.00 MB | 51043次下載 | 免費(fèi)
 - 5555集成電路應(yīng)用800例(新編版)
 - 0.00 MB | 33562次下載 | 免費(fèi)
 - 6接口電路圖大全
 - 未知 | 30320次下載 | 免費(fèi)
 - 7Multisim 10下載Multisim 10 中文版
 - 0.00 MB | 28588次下載 | 免費(fèi)
 - 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
 - 未知 | 21539次下載 | 免費(fèi)
 
總榜
- 1matlab軟件下載入口
 - 未知 | 935053次下載 | 免費(fèi)
 - 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
 - 78.1 MB | 537791次下載 | 免費(fèi)
 - 3MATLAB 7.1 下載 (含軟件介紹)
 - 未知 | 420026次下載 | 免費(fèi)
 - 4OrCAD10.5下載OrCAD10.5中文版軟件
 - 0.00 MB | 234313次下載 | 免費(fèi)
 - 5Altium DXP2002下載入口
 - 未知 | 233046次下載 | 免費(fèi)
 - 6電路仿真軟件multisim 10.0免費(fèi)下載
 - 340992 | 191183次下載 | 免費(fèi)
 - 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
 - 158M | 183277次下載 | 免費(fèi)
 - 8proe5.0野火版下載(中文版免費(fèi)下載)
 - 未知 | 138039次下載 | 免費(fèi)
 
	                電子發(fā)燒友App
	            
	        
	        
          
        
        
	                    
                        
                        
                        
                        
                        


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