Synthesis and Analysis of Product-form Petri Nets

DOI10.3233/FI-2013-786zbMath1301.68188MaRDI QIDQ4914295

Serge Haddad, Hoang Thach Nguyen, Jean Mairesse

Publication date: 18 April 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

computational complexityPetri netsperformance analysisdiscrete event systemscontinuous-time Markov processesperformance modelling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous-time Markov processes on discrete state spaces (60J27)

Related Items

On the Reversibility of Live Equal-Conflict Petri Nets ⋮ Unnamed Item