• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Electrical and Computer Engineering >Modeling and Validation of the Dynamic Host Configuration Protocol with Colored Petri Nets
【24h】

Modeling and Validation of the Dynamic Host Configuration Protocol with Colored Petri Nets

机译：有色Petri网的动态主机配置协议的建模与验证。

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Petri Networks with a graphical language are based on mathematical logic which have many uses and have capability for modeling and validation of distributed systems and concurrent applications. Colored Petri Networks (CPNs) are a type of Petri Network models that are used in modeling of systems which contain discrete and scattered events. In general, CPNs are used to evaluate system performance and demonstrate the correctness of systems. Dynamic Host Configuration Protocol (DHCP) is one of the main systems of protocols special for servers that are used for dynamic allocation of IP to the network computers (clients). In this paper, we highlight to analyze the correctness and authenticity of DHCPs with the use of CPNs with using the CPN Tools and to prove the accuracy of our protocol's performance.
机译：具有图形语言的Petri网络基于数学逻辑，具有许多用途，并且具有对分布式系统和并发应用程序进行建模和验证的能力。有色Petri网络（CPN）是一种Petri网络模型，用于对包含离散事件和分散事件的系统进行建模。通常，CPN用于评估系统性能并演示系统的正确性。动态主机配置协议（DHCP）是专用于服务器的主要协议系统之一，该服务器用于将IP动态分配给网络计算机（客户端）。在本文中，我们重点介绍了使用CPN工具分析使用CPN的DHCP的正确性和真实性，并证明了协议性能的准确性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号