ATL Transformation of Queueing Networks to Queueing Petri Nets.
Issam Al-AzzoniPublished in: MODELSWARD (2017)
Keyphrases
- petri net
- queueing networks
- heavy traffic
- steady state
- state dependent
- arrival rate
- queue length
- queueing theory
- queueing systems
- long run
- product form
- queueing model
- reactive systems
- stationary distribution
- discrete event systems
- petri net model
- manufacturing systems
- colored petri nets
- fluid model
- single server
- fuzzy petri net
- ims ld
- markov chain
- buffer allocation
- stochastic petri net
- multi agent systems
- asymptotically optimal
- state machines
- temporal logic
- model checking
- programmable logic controller
- network architecture
- service composition
- neural network