A Modeling and Verification Method for Intelligent Networks Services with Petri Nets

机译：Petri网的智能网络服务建模与验证方法

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper introduces a specification of service logk based on the analysis of Intelligent Network (IN) services and presents a model of the service specification that are related to concurrency and synchronization with Pe tri nets. The verification method of the models is also discussed. An example is given to illustrate the modeling and verification methods.

机译：本文基于对智能网络（IN）服务的分析，介绍了服务logk的规范，并提出了与Petri网的并发和同步相关的服务规范模型。还讨论了模型的验证方法。给出一个例子来说明建模和验证方法。

著录项

来源
《International Conference on Communication Technolog(ICCT2003) vol.2; 20030409-11; Beijing(CN)》|2003年|P.1396-1399|共4页
会议地点 Beijing(CN)
作者
Ma Yuxiang; Liu Yanming;
展开▼
作者单位

School of Computer Science Xidian University Xi'an 710071, China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类通信;
关键词
petri nets; intelligent; networks; verification; specification;

机译：Petri网；智能；网络；验证；规范;

相似文献

外文文献
中文文献
专利

1. Use of Coloured Petri Net models in planning, design, and simulation of intelligent wireless medical device networks for safe and flexible hospital capacity management [J] . Elliot B. Sloane, Vijay Gehlot International Journal of Networking and Virtual Organisations . 2007,第2期

机译：有色Petri Net模型在智能无线医疗设备网络的规划，设计和仿真中的使用，以实现安全灵活的医院容量管理
2. Petri Net-based Modeling and Verification of Service Personalization for the Internet of Me [J] . Mohd ANUARUDDIN BIN AHMADON, Shingo YAMAGUCHI 電子情報通信学会技術研究報告. ITS. Intelligent Transport Systems Technology . 2015,第458期

机译：基于Petri Net的我的Internet服务个性化建模和验证
3. Petri Net-based Modeling and Verification of Service Personalization for the Internet of Me [J] . Mohd ANUARUDDIN BIN AHMADON, Shingo YAMAGUCHI 電子情報通信学会技術研究報告. 画像工学. Image Engineering . 2015,第459期

机译：基于Petri Net的我的Internet服务个性化建模和验证
4. A modeling and verification method for intelligent networks services with Petri nets [C] . Ma Yuxiang, Liu Yanming . 2003

机译：Petri网的智能网络服务建模与验证方法
5. Efficient methods for verification and performance evaluation of concurrent systems by Petri nets. [D] . Kovalyov, Andrei. 2002

机译：用Petri网验证并发系统的有效方法。
6. A Novel Petri Nets-Based Modeling Method for the Interaction between the Sensor and the Geographic Environment in Emerging Sensor Networks [O] . Feng Zhang, Yuetong Xu, Jarong Chou 2016

机译：基于Petri网的新型传感器网络中传感器与地理环境相互作用的新型建模方法。
7. Some new localized quality of service models and algorithms for communication networks. The development and evaluation of new localized quality of service routing algorithms and path selection methods for both flat and hierarchical communication networks. [O] . Mustafa Elmabrook B. M. 2009

机译：通信网络的一些新的本地化服务质量模型和算法。平面和分层通信网络的新型本地化服务质量路由算法和路径选择方法的开发和评估。
8. Dynamic Petri-Nets: A New Modeling Technique for the Topology of Distributed Sensor Networks; Conference paper [R] . Graff, C. J. 2006

机译：动态petri网：分布式传感器网络拓扑的一种新的建模技术;会议论文

A Modeling and Verification Method for Intelligent Networks Services with Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅