论文部分内容阅读
在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述,将其中涉及并发、同步等的描述转化为Petri网模型,探讨了在该模型上的验证方法,并给出了一个应用该规范和模型的例子.
智能网业务中的Petri网建模及验证方法
【摘 要】
：
在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述,将其中涉及并发、同步等的描述转化为Petri网模型,探讨了在该模型上的验证方法,并给出了一个应用该规范和
【机 构】
：
西安电子科技大学
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2004年2期
其他文献
十九大报告指出,中国特色社会主义进入新时代,我们党一定要有新气象、新作为。这对党建工作提出了更高、更新的要求,党的基层组织是确保党的路线方针政策和决策部署贯彻落实
系统研究了磺化木质素蜜胺甲醛超塑化剂（SLMF）的引气性能、在水泥颗粒表面的吸附性能、对水泥颗粒表面Zeta电位的影响。结果表明，SLMF对水泥-水体系的分散机理是其含有的-SO3^-
提出基于二进分块的快速小波变换算法，可实现对非二进阶矩阵的“几乎”快速小波变换，克服了标准快速小波变换在实施时要求目标矩阵的阶数必须为2的整数幂这一限制．该算法适用于
针对强目标信号污染严重影响传统阵列流形校正算法通道均衡性能问题,提出了一种基于雷达回波数据模归一化矢量的自适应通道盲均衡算法.该方法首先构造与回波数据矢量对应的模
长期以来,关心初中生成长的热点大多集中在学生的饮食,身体,学业成绩以及升学等问题上,忽略了与每个初中生发展息息相关的心理健康教育问题,面对时下初中生问题日益增多,初中
下消化道出血因定性定位诊断困难，极容易造成误诊、漏诊而延误病情，是消化道出血诊疗的一个难点。我院于2015年1月25日收治了一例下消化道肠壁内畸形血管出血患者。该患者因便
文章总结湖南省历届社科优秀成果评奖的经验和优势,比较全国内陆各省最近两届社科优秀成果评奖项数的现状,以及湖南省社科评奖的获奖项数在全国的位置,概括目前湖南省社科优
基于PDCA循环管理法编制空调企业应急信息管理系统,从空调企业应急信息管理系统的指挥体系、安全评级、应急处理、应急演习和优化等方面,阐述了应急信息管理系统的实施流程,
互联网通过自身所具有的特点和优势，为高校教育事业带来了巨大机遇和便利，为广大师生和教育工作者提供了更加多样化的教育平台和工作方式，丰富了教育内容，提高了工作效率。在很大