Verification of a Multidestination Protocol Using Temporal Logic
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Petri Nets Theory for the Correctness of Protocols
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Modeling a Network Protocol in AFFIRM and Ada
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
An Extended Finite State Machine Approach to Protocol Specification
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior
Performance '83 Proceedings of the 9th International Symposium on Computer Performance Modelling, Measurement and Evaluation
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Extended D-timed Petri nets, timeouts, and analysis of communication protocols
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
M-timed Petri nets and Markov chains in modelling of computer systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Performance Simulation And Design Of Petri Net Systems
Journal of Integrated Design & Process Science
Performance modeling of distributed collaboration services
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
| Hi-index | 0.00 |
Petri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time. This work uses a form of Timed Petri Nets and presents a technique for symbolically deriving expressions, which describe system performance. Unlike past work on performance evaluation of Petri Nets which assumes a priori knowledge of specific time delays, the technique presented here applies to a wide range of time delays so long as the delays satisfy a set of timing constraints. The technique is demonstrated using a simple communication protocol.