【摘 要】
：
CPN（Coloured Petri Nets）非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义
【机 构】
：
内蒙古大学鄂尔多斯学院,内蒙古大学计算机学院
论文部分内容阅读
CPN（Coloured Petri Nets）非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
一个猪场生产性能的好坏关键是繁殖母猪管理水平的高低,其核心就是如何缩短母猪的空怀天数,提高母猪的繁殖天数。猪场的管理者应该从头抓起,从基础做起,精细的管理应该落实到
该文基于该研究者从事多波束测深的相关工作经验,以多波束测深系统在长江中的应用为研究对象,首先探讨了多波束测深系统的组成,进而以多波束测深系统用于采砂管理为任务背景,详细研究分析了多波束测深系统在采砂管理量化监测中的应用流程和监测结果。
随着现代市场经济的快速发展,我国物流行业也取得了很大发展,尤其是物流工程的启动对于我国物流业发展具有极其重要的推动作用。该文主要介绍了关于物流工程的组成部分,并且
怀孕母牛衰老经产、营养不良、运动不足，使子宫弛缓无力，分娩时如果阴道受到强烈刺激，产后强烈努责，腹压增高，便容易发生子宫脱出。子宫脱出必须及时施行手术整复。脱出的时间愈长
棋类项目是中国古代人民智慧的结晶,在发展了四千多年之后,逐步走向世界,给予世界不同的美丽,传授了世界人民中华民族古老的智慧。从体育学的角度来说,棋类项目与世界上流行
摘 要：随着计算机网络的不断拓展，信息化社会已经覆盖到社会的各个角落。电子商务和各类协议通信各类网络服务发展的越来越成熟，网络正改变着每个人的生活，但是信息安全问题也随之突出，这不仅关乎个人隐私安全和关乎整个社会安全与稳定，有必要对网络通信中的信息安全有所研究，有针对性的对网路通信中存在的安全问题进行防范，为安全的网络通信做坚实的保障。 关键词：网络信息通信 信息安全 保障措施 中图分类号：T