A behavior and delay equivalent petri net model for performance evaluation of communication protocols-Reference-Cited by-同舟云学术

A behavior and delay equivalent petri net model for performance evaluation of communication protocols

Published:2008-06 Issue:10 Volume:31 Page:2210-2230
ISSN:0140-3664
Container-title:Computer Communications
language:en
Short-container-title:Computer Communications

Author:

Youness Osama S.,El-Kilani Wail S.,El-Wahed Waiel F. Abd

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference31 articles.

1. Petri nets: properties, analysis and applications;Murata;Proceedings of the IEEE,1989

2. Modeling with Generalized Stochastic Petri Nets;A Marsa,1995

3. J. Muppala, G. Ciardo, K. Trivedi, Stochastic Reward Nets for Reliability Prediction, Communications in Reliability, maintainability and Serviceability (an international journal published by SAE international), 1(2) (1994) 9–20, (July).

4. Petri-nets for formal verification of MAC protocols;Haines;IET Software,2007

5. Performance analysis of multistage interconnection networks with a new high-level net model;Chaki;Journal of Systems Architecture,2006

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Extraction of Petri Nets from RFC Protocol Texts;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08

2. Collaborative Relationship Modeling and Analysis of Natech Emergency Response Organizations Based on Stochastic Petri Net;Natural Hazards Review;2024-05

3. Max-Plus Matrix Method for Correctness Verification of Communication Protocols;IFAC-PapersOnLine;2020

4. Runway Utilization Analysis Based on the Stochastic Petri Net Model;Applied Mechanics and Materials;2013-09

5. Modeling of emergency response decision-making process using stochastic Petri net: an e-service perspective;Information Technology and Management;2012-06-01