Synthesis and Analysis of Product-form Petri Nets - Laboratoire d'Informatique Algorithmique, Fondements et Applications Access content directly
Preprints, Working Papers, ... Year :

Synthesis and Analysis of Product-form Petri Nets


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 networks, it has been adapted to Markovian Petri nets. Here we address three relevant issues for product-form Petri nets which were left fully or partially open: (1) we provide a sound and complete set of rules for the synthesis; (2) we characterise the exact complexity of classical problems like reachability; (3) we introduce a new subclass for which the normalising constant (a crucial value for product-form expression) can be efficiently computed.
Fichier principal
Vignette du fichier
pi2.pdf (533.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00582584 , version 1 (01-04-2011)
hal-00582584 , version 2 (13-04-2012)



Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen. Synthesis and Analysis of Product-form Petri Nets. 2011. ⟨hal-00582584v2⟩
289 View
389 Download



Gmail Facebook Twitter LinkedIn More