Synthesis and Analysis of Product-Form Petri Nets

DOI10.1007/978-3-642-21834-7_16zbMath1330.68203OpenAlexW2174441244MaRDI QIDQ3011895

Hoang Thach Nguyen, Jean Mairesse, Serge Haddad

Publication date: 29 June 2011

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.9023

zbMATH Keywords

synthesisreachabilityPetri netsproduct formcomplexity analysisnormalising constant

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• GreatSPN 1.7

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reduction and synthesis of live and bounded free choice Petri nets
• The complexity of the word problems for commutative semigroups and polynomial ideals
• A net level performance analysis of stochastic Petri nets
• Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
• Mean-Value Analysis of Closed Multichain Queuing Networks
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
• On closed support T-Invariants and the traffic equations
• Deficiency Zero Petri Nets and Product Form

This page was built for publication: Synthesis and Analysis of Product-Form Petri Nets