@InProceedings{pnse17-3,
  title =        {Decision Diagrams for {Petri} Nets: which Variable Ordering?},
  pages =        {31--50},
  author =       {Amparore, Elvio Gilberto and Donatelli, Susanna and Beccuti, Marco and Garbi, Giulio and Miner, Andrew},
  year =         2017,
  title =        {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'17, Zaragoza, Spain, June 25-26, 2017.
                  Proceedings},
  booktitle =    {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'17, Zaragoza, Spain, June 25-26, 2017.
                  Proceedings},
  year =         2017,
  editor =       {Moldt, Daniel and Cabac, Lawrence and R{\"o}lke, Heiko},
  volume =       1846,
  series =       {CEUR Workshop Proceedings},
  ISSN =         {1613-0073},
  publisher =    {CEUR-WS.org},
  url =          {http://CEUR-WS.org/Vol-1846/},
  urn =          {urn:nbn:de:0074-1846-1}
}