Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. Eshuis, R. In Cavalcanti, A. & Dams, D., editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, volume 5850, of Lecture Notes in Computer Science, pages 239–255, 2009. Springer.
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/fm/Eshuis09,
  author    = {Rik Eshuis},
                                        AUTHOR+an = {1=highlight},         
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {Translating Safe Petri Nets to Statecharts in a Structure-Preserving
               Way},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  pages     = {239--255},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3\_16},
  doi       = {10.1007/978-3-642-05089-3\_16},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/Eshuis09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
    addendum={Acceptance rate: 30\%, ISI indexed},
      annote = {conf}
}

Downloads: 0