3 papers
math.CO2017
A maximizing characteristic for critical configurations of chip-firing games on digraphs
Hoang-Thach Nguyen, Thi-Thu-Huong Tran
Aval et al. proved that starting from a critical configuration of a chip- firing game on an undirected graph, one can never achieve a stable configuration by reverse firing any non…
cs.DM2011
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…
cs.DM2009
Deficiency Zero Petri Nets and Product Form
Jean Mairesse, Hoang-Thach Nguyen
Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking can be decomposed as…