Unbounded product-form Petri nets
DOI10.4230/LIPICS.CONCUR.2017.31zbMATH Open1442.68127arXiv1708.05847MaRDI QIDQ5111645FDOQ5111645
Patricia Bouyer, Serge Haddad, Vincent Jugé
Publication date: 27 May 2020
Full work available at URL: https://arxiv.org/abs/1708.05847
Recommendations
Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Applications of queueing theory (congestion, allocation, storage, traffic, etc.) (60K30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
- The covering and boundedness problems for vector addition systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Closed Queuing Systems with Exponential Servers
- Deficiency Zero Petri Nets and Product Form
- Mean value analysis of stochastic Petri nets
- Eager Markov Chains
- Synthesis and Analysis of Product-form Petri Nets
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Unbounded product-form Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111645)