@misc{indiciae9609b9eb8f6d, title = {Synthesis and Analysis of Product-form Petri Nets}, author = {Serge Haddad and Jean Mairesse and Hoang-Thach Nguyen}, year = {2012}, url = {https://arxiv.org/abs/1104.0291}, note = {Source identifier: 1104.0291} }