Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems.
Javier CamposManuel Silva SuárezPublished in: Perform. Evaluation (1993)
Keyphrases
- product form
- queueing networks
- petri net
- steady state
- discrete event systems
- stationary distribution
- heavy traffic
- embedded real time systems
- state dependent
- queue length
- arrival rate
- long run
- markov chain
- upper bound
- embedded systems
- colored petri nets
- buffer allocation
- network architecture
- model checking
- lower bound
- decision making
- petri net model
- stochastic petri net
- neural network