论文部分内容阅读
该文在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子。
智能网业务中的Petri网建模及验证方法
【摘 要】
：
该文在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范
【机 构】
：
西安电子科技大学计算机学院
【出 处】
：
第七届联合国际计算机会议
【发表日期】
：
2000年期
其他文献
该文给出了推广的Ｐｅｔｅｒｓｅｎ图Ｐ（ｎ，２）和Ｐ（ｎ，３）的两种不同点数的极小覆盖的作法［除Ｐ（６，２），Ｐ（７，２），Ｐ（７，３）外］，并以此说明这些图的极小点覆盖并不一定是最小点覆盖。
在档案管理工作中,因档案数量不断增多,其内容也更加繁杂,并且越来越依赖网络平台与各种软件.因此,在进行档案管理工作时,为顺应时代发展的需求,势必要引用“互联网+”,从而
根据批生产过程的特点，在CTCH网的基础上对批生产系统动态调度问题以关键设备利用率最大为目标进行了建模，建立了优化模型，并提出了一种启发式算法，最后用一个实例对算法进行了验
作为“喉舌”的新闻媒体一直以宣传工具的形象而被动存在着，而以维护社会良知、坚守正义为准则、致力于新闻职业化进程的新闻媒体却一直在无法可依的夹缝中畸长着。记者被打，来
用于武钢 4 # BF装配料控制系统的MB +网 ,完成控制系统之间的信号传递和数据通信。
MB + network for WISCO 4 # BF assembly control system to complete signal transmis
网络信息技术日新月异,对人们的生活方式以及工作方式产生了巨大的影响,“网络”“信息”已经成为各个领域发展的关键要素.档案作为一种极为重要的信息资源,更应该借助网络信