@InProceedings{bouyer_et_al:LIPIcs:2017:7795,
  author ={Patricia Bouyer and Serge Haddad and Vincent Jug{\'e}},
  title ={{Unbounded Product-Form Petri Nets}},
  booktitle ={28th International Conference on Concurrency Theory (CONCUR 2017)},
  pages ={31:1--31:16},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-048-4},
  ISSN ={1868-8969},
  year ={2017},
  volume ={85},
  editor ={Roland Meyer and Uwe Nestmann},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2017/7795},
  URN ={urn:nbn:de:0030-drops-77957},
  doi ={10.4230/LIPIcs.CONCUR.2017.31},
  annote ={Keywords: Performance evaluation, infinite-state systems, Petri nets,  steady-state distribution}
}