scientific article; zbMATH DE number 7204948

DOI10.4230/LIPIcs.CONCUR.2017.31zbMath1442.68127arXiv1708.05847MaRDI QIDQ5111645

Patricia Bouyer, Serge Haddad, Vincent Jugé

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1708.05847

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

performance evaluationPetri netssteady-state distributioninfinite-state systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of queueing theory (congestion, allocation, storage, traffic, etc.) (60K30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• The covering and boundedness problems for vector addition systems
• Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
• Mean value analysis of stochastic Petri nets
• Eager Markov Chains
• Synthesis and Analysis of Product-form Petri Nets
• Closed Queuing Systems with Exponential Servers
• Deficiency Zero Petri Nets and Product Form
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item