论文部分内容阅读
广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模型的可达性分析.并给出使用本软件的例子.更多还原
一种基于广义随机Petri网的分析器
【摘 要】
：
广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模
【机 构】
：
西安交通大学系统工程研究所,西安交通大学系统工程研究所西安710049,西安710049
【出 处】
：
计算机学报
【发表日期】
：
1991年5期
其他文献
本文在文献[1]的基础上,对K-C逻辑细胞阵列的性质进行了更深入的研究,导出了阵列在不同条件下能够实现逻辑函数数目的上界,从而证明了K-C阵列的逻辑完备性问题.对阵列在数字
本文将三维空间中非线性问题计算机图示的方法推广到多维空间中非线性问题,导出了一般多变量非线性问题计算机图示的数学模型,从而为计算机图示多变量非线性问题,获得多变量
大葱芳香、辛温。是人们日常生活中广泛食用的蔬菜及调味品．但人们主要食用葱的茎和少量叶。大部分葱叶被弃掉．尤其是在入冬前冬葱贮藏时，废弃的大葱叶数量是相当可观的。而且大
NPA(Naming University Programmer’s Apprentice)是一个交互式程序设计助手系统,它的主要基础是格局——一种程序表示方法.在这种表示中忽略了程序的非本质特征,仅仅描述有
本文将介绍用户界面的开发工具:Micro-UIDT。该系统为用户界面的设计者提供交互式设计环境,所提供的进行用户界面设计的设计语言为一种非过程、图示语言。其中,进行用户界面
本文论述了现代超级计算机系统发展的基本情况,深入分析了现代超级计算机系统的分类、特点与发展趋势。最后展望了90年代的发展前景。
肉价上涨、汇率良好、肉类消费和出口增长、配合饲料和畜禽生产投入不断增加、农业发生全新变化．这是中欧和东欧国家加入欧盟后出现的积极现象。总体来讲，处于该地区的波兰饲料
美国东部时间9月3日周四早晨，美农业部（USDA）公布了截至8月27日（周四）的1周出口销售报告。当周美国2008／09年度（08年9月1日起）大豆净出口销售量为5．88万t．当周美国2009／10年度大豆净出口
本文讨论了在算法合成背景下,基于解释的学习中可操作性准则问题.针对一种相对复杂的学习目标概念——算法构架,提出了实现可操作性的方法,并探讨了算法自动化系统中通用性与
本文提出n维立方体及顶点编号方法的模型,应用它可以解决多变量开关函数化简问题。该模型能全面准确地揭示出n维空间中2~n个多变量开关函数每个最小项之间相邻的数学关系,相