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. 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
{"_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"]}