Extended D-timed Petri nets, timeouts, and analysis of communication protocols

Authors:
Wlodzimierz M. Zuberek
Affiliations:
Department of Computer Science, Memorial University of Newfoundland, St.John's, Newfoundland, Canada A1C 5S7
Venue:
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Year:
1985

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Use of Petri Nets for Performance Evaluation

Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Timed Petri nets and preliminary performance evaluation

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
The derivation of performance expressions for communication protocols from timed petri net models

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

Hi-index	0.00