Analytic Performance Modeling of Concurrent Computer Systems by Stochastic Petri Nets.

Abstract

Petri nets are presented as a technique for representing computer systems having asynchronous, concurrent operations. The structure of the nets are analyzed as a means of demonstrating the correctness of the modeled system. The execution of the petri net is considered as a stochastic process, allowing analysis of the model as a queueing network system by transforming the petri net into its stochastic equivalent net. It is shown that product form solutions for the state probabilities exist for the class of state machine decomposable nets but not for the more general class of consistent petri nets. Solutions for the corresponding open systems are derived by extending the petri net model to include arbitrary sources and sinks. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1981
Accession Number
ADA104054

Entities

People

  • Scott William Smart

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Communication Systems
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Computing Devices
  • Equations
  • Formal Languages
  • Network Science
  • Parallel Computing
  • Parallel Processing
  • Petri Nets
  • Probability
  • Random Variables
  • Simulations
  • Stochastic Processes

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Statistical inference.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.