论文部分内容阅读
在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述,将其中涉及并发、同步等的描述转化为Petri网模型,探讨了在该模型上的验证方法,并给出了一个应用该规范和模型的例子.
智能网业务中的Petri网建模及验证方法
【摘 要】
：
在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述,将其中涉及并发、同步等的描述转化为Petri网模型,探讨了在该模型上的验证方法,并给出了一个应用该规范和
【机 构】
：
西安电子科技大学
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2004年2期
其他文献
十九大报告指出,中国特色社会主义进入新时代,我们党一定要有新气象、新作为。这对党建工作提出了更高、更新的要求,党的基层组织是确保党的路线方针政策和决策部署贯彻落实
提出基于二进分块的快速小波变换算法，可实现对非二进阶矩阵的“几乎”快速小波变换，克服了标准快速小波变换在实施时要求目标矩阵的阶数必须为2的整数幂这一限制．该算法适用于
针对强目标信号污染严重影响传统阵列流形校正算法通道均衡性能问题,提出了一种基于雷达回波数据模归一化矢量的自适应通道盲均衡算法.该方法首先构造与回波数据矢量对应的模
下消化道出血因定性定位诊断困难，极容易造成误诊、漏诊而延误病情，是消化道出血诊疗的一个难点。我院于2015年1月25日收治了一例下消化道肠壁内畸形血管出血患者。该患者因便
基于PDCA循环管理法编制空调企业应急信息管理系统,从空调企业应急信息管理系统的指挥体系、安全评级、应急处理、应急演习和优化等方面,阐述了应急信息管理系统的实施流程,