多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题,也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型,以抽取某级通信指挥系统与筹划作战方案的智能运作模型
Petri+Net 技术资料
汇集 Petri+Net 相关的电路原理图、PCB工程文件、单片机/FPGA源代码、数据手册与应用设计方案。
·基于随机Petri网模型的多DSP系统性能分析
Petri网是一种图形化建模分析工具,它应用广泛其范围己远远超出了计算机科学的领域。本文以廉租住房管理系统为例, 提出了一个基于随机Petri网工作流建模的方法,对模型的正确性进行了验证。并利用随机P
MS最新.net开发环境的C++2005.net 教材
在线直销商城(.net),学习.NET的好资料,完全可用。
这是一本.net的书 这是一本.net的书
Connector/Net 5.0.6 Release Notes --- --- --- Welcome to the release notes for Connector/Net 5.0.6. Important Changes ------------…
A .net program for datacollector
visual .net Framework install environment
unix/linux general net toolkit