Substituted model of the alternating bit protocols by coloured petri's nets

Sh. Kh. Saidakhmedov

首页> 外文期刊>Доклады Академии Наук Республики Узбекистан >Substituted model of the alternating bit protocols by coloured petri's nets

【24h】

Substituted model of the alternating bit protocols by coloured petri's nets

机译：彩色Petri网的交替位协议的替代模型

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Protocol models are defined as a multitude of events with indication of conditions for executing each of the events.

机译：协议模型被定义为具有用于执行每个事件的条件的指示的多个事件。

著录项

来源
《Доклады Академии Наук Республики Узбекистан》 |1998年第1期|共4页
作者
Sh. Kh. Saidakhmedov;
展开▼
作者单位

angeaSystems.com;

展开▼
收录信息
原文格式 PDF
正文语种 rus
中图分类自然科学总论;
关键词
coloured petri's nets; protocol models;

机译：彩色Petri的网;协议模型;

相似文献

外文文献
中文文献
专利

1. Substituted model of the alternating bit protocols by coloured petri's nets [J] . Sh. Kh. Saidakhmedov Доклады Академии Наук Республики Узбекистан . 1998,第1期

机译：有色陪替氏网替代交替比特协议的模型
2. Attack trace generation of cryptographic protocols based on coloured Petri nets model [J] . Yunli Bai, Xinming Ye International journal of wireless and mobile computing . 2013,第1期

机译：基于彩色Petri网模型的密码协议攻击轨迹生成
3. Coloured Petri Net Modelling Of An Evolving Internet Standard: The Datagram Congestion Control Protocol [J] . Jonathan Billington, Somsak Vanit-Anunchai Fundamenta Informaticae . 2008,第3期

机译：不断发展的Internet标准的彩色Petri网建模：数据报拥塞控制协议
4. MODELLING MULTITHREADEDSOCIAL PROTOCOLS WITH COLOURED PETRI NETS [C] . Willy Picard Pervasive Collaborative Networks . 2008

机译：用彩色Petri网建模多线程社会协议
5. Automated security analysis of Internet protocols using coloured Petri nets. [D] . Han, Yangdong. 2001

机译：使用彩色Petri网自动进行Internet协议的安全性分析。
6. Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking [O] . David Gilbert, Monika Heiner, Leila Ghanbar, 2019

机译：使用彩色混合Petri网和模拟模型检查的空间群体感应建模
7. Modeling and performance analysis of AODV routing protocol using coloured petri nets [O] . Singampalli Sudheer 2014

机译：彩色Petri网对AODV路由协议的建模与性能分析。
8. Modelling Ambient Systems with Coloured Petri Nets. [R] . Konios, A., Pietkiewicz-Koutny, M. 2013

机译：用有色petri网建模环境系统。

Substituted model of the alternating bit protocols by coloured petri's nets

摘要

著录项

相似文献

相关主题

期刊订阅