@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}
}

{"_id":"YkqSGsbNc6eeaFZ3Z","bibbaseid":"eshuis-translatingsafepetrinetstostatechartsinastructurepreservingway-2009","downloads":0,"creationDate":"2015-04-11T19:41:37.263Z","title":"Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way","author_short":["Eshuis, R."],"year":2009,"bibtype":"inproceedings","biburl":"https://is.ieis.tue.nl/staff/heshuis/Eshuis_Rik.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rik"],"propositions":[],"lastnames":["Eshuis"],"suffixes":[]}],"author+an":"1=highlight","editor":[{"firstnames":["Ana"],"propositions":[],"lastnames":["Cavalcanti"],"suffixes":[]},{"firstnames":["Dennis"],"propositions":[],"lastnames":["Dams"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/fm/Eshuis09,\n author = {Rik Eshuis},\n AUTHOR+an = {1=highlight}, \n editor = {Ana Cavalcanti and\n Dennis Dams},\n title = {Translating Safe Petri Nets to Statecharts in a Structure-Preserving\n Way},\n booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,\n November 2-6, 2009. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {5850},\n pages = {239--255},\n publisher = {Springer},\n year = {2009},\n url = {https://doi.org/10.1007/978-3-642-05089-3\\_16},\n doi = {10.1007/978-3-642-05089-3\\_16},\n timestamp = {Tue, 14 May 2019 10:00:46 +0200},\n biburl = {https://dblp.org/rec/conf/fm/Eshuis09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n addendum={Acceptance rate: 30\\%, ISI indexed},\n annote = {conf}\n}\n\n","author_short":["Eshuis, R."],"editor_short":["Cavalcanti, A.","Dams, D."],"key":"DBLP:conf/fm/Eshuis09","id":"DBLP:conf/fm/Eshuis09","bibbaseid":"eshuis-translatingsafepetrinetstostatechartsinastructurepreservingway-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-05089-3_16"},"metadata":{"authorlinks":{"eshuis, r":"https://is.ieis.tue.nl/"}},"html":""},"search_terms":["translating","safe","petri","nets","statecharts","structure","preserving","way","eshuis"],"keywords":[],"authorIDs":["RCLJupG3GkEH6vTup"],"dataSources":["6zQZG8KogdrEhyqf5"]}