Synthesis and Analysis of Product-form Petri Nets

Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen

For a large Markovian model, a "product form" is an explicit description of the steady-state behaviour which is otherwise generally untractable. Being first introduced in queueing…