论文部分内容阅读
本文在研究Petri网建模方法和描述过程的能力的基础上给出了用Petri网描述软件过程的具体方法并根据传统Petri网的分析方法给出几个常用的算法以供对所建立模型进行验证分析。最后给出一个基于此建模方法的PSEE系统的设计结构图。
基于Petri网的软件过程建模技术的研究
【摘 要】
：
本文在研究Petri网建模方法和描述过程的能力的基础上给出了用Petri网描述软件过程的具体方法并根据传统Petri网的分析方法给出几个常用的算法以供对所建立模型进行验证分析
【机 构】
：
南京航空航天大学信息科学与技术学院 210016
【出 处】
：
第十三届全国青年通信学术会议
【发表日期】
：
2008年期
其他文献
PSP机自一问世就以其齐全的功能捕获了无数时尚达人的心,然而,对于追求完美的现代消费者而言,一款PSP功能再全面还是不够,要想真正成为潮流人士的心头好,它还得外观靓丽,能够
本文主要讨论了PROFIBUS—DP现场总线技术。首先介绍了PROFIBUs—DP网络系统的构成。然后详细分析了其通信机理，最后采用了S7—300PLC作为中央控制器，变频器MasterDrive作为DP
本文对IPTV系统中点播业务的各种实现方法进行了分析与比较。介绍了传统的视频点播系统、分布式点播系统和P2P流媒体系统的工作原理。同时对各系统的优势和局限性进行分析，进
协同式检查点及卷回恢复技术是一种简单有效的容错手段，被广泛地运用于并行/分布式系统中。协议开销和检查点映像存储成为困扰检查点算法可扩展性的两大瓶颈。为进一步降低协
会议
本文针对焦平面阵列天线应用，设计了中心频率为89GHz的直线渐变缝隙天线，采用波导到单面鳍线过渡对其进行馈电.同时加入金属臂对薄的介质基片提供支撑。从仿真结果可知，所设计的
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
在深入分析及时通知航班延误信息的必要性后，提出了基于GSM短消息技术的航班延误通知系统。硬件部分采用C/S结构。由PC机、GSM模块和普通手机组成；软件部分选择VB作为开发平台，
会议
简要介绍FC(fibre channel)协议，分析总结了FC中的确定帧终止定界符正负的RD(运行差距)计算方法，根据这种计算方法我们总结出来了该计算方法的一般规律，并在该规律的基础上提出