第十四屆全國Petri網理論與套用學術年會已於2013年8月23-25日在中國計算機學會舉辦。
基本介紹
- 中文名: 第十四屆全國Petri網理論與套用學術年會
- 地點:中國計算機學會
- 會議時間:2013年8月23-25日
- 主辦單位:2013年8月23-25日
組織機構,徵文範圍,
組織機構
本次會議由中國計算機學會主辦,中國計算機學會Petri網專業委員會和西安電子科技大學承辦。
徵文範圍
基本Petri網系統 時間Petri網 隨機Petri網 高級Petri網模型 Petri網的象徵表示方法 基於Petri網的系統設計與驗證 基於Petri網的語義、邏輯和代數運算 Petri網結構與行為的分解與合成 Petri網與其他理論方法的關聯與比較 Petri網的標準化 Petri網計算機工具 Petri網套用案例分析 Petri網的教育問題 Petri網在不同系統和套用領域的套用,如:性能評價,通信協定,通信網路,Internet,無線網路,網路安全,脆弱性分析,離散事件動態系統,柔性製造與工業製造系統,實時系統,分散式軟體系統,分散式資料庫系統,並發和並行計算,嵌入式系統,服務計算,工作流,監督控制,硬體結構,電路設計,形式語言,程式語言,容錯與故障診斷,邏輯推理,決策模型,神經元網路,辦公自動化,電子商務,電子政務,普適計算,生物系統,防禦系統,健康和醫藥系統,環境系統,智慧交通,智慧型電網等。