Haddad, Mairesse, Nguyen, 2011. Synthesis and Analysis of Product-Form Petri Nets, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-21834-7_16