Unbounded Product-Form Petri Nets.
Patricia BouyerSerge HaddadVincent JugéPublished in: CONCUR (2017)
Keyphrases
- petri net
- product form
- steady state
- queueing networks
- stationary distribution
- queuing network
- petri net model
- state dependent
- markov chain
- discrete event systems
- manufacturing systems
- service composition
- queue length
- colored petri nets
- fuzzy petri net
- service times
- state machines
- long run
- concurrent systems
- state space
- programmable logic controller
- ims ld