PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., & Majzik, I. In Application and Theory of Petri Nets and Concurrency, volume 9698, of Lecture Notes in Computer Science, pages 123–132. Springer, 2016. Pdf Link doi abstract bibtex PetriDotNet is an extensible Petri net editor and analysis tool originally developed to support the education of formal methods. The ease of use and simple extensibility fostered more and more algorithmic developments. Thanks to the continuous interest of developers (especially M.Sc. and Ph.D. students who choose PetriDotNet as the framework of their thesis project), by now PetriDotNet became an analysis platform, providing various cutting-edge model checking algorithms and stochastic analysis algorithms. As a result, industrial application of the tool also emerged in recent years. In this paper we overview the main features and the architecture of PetriDotNet, and compare it with other available tools.
@incollection{icatpn2016,
author = {V{\"o}r{\"o}s, Andr{\'a}s and Darvas, D{\'a}niel and Moln{\'a}r, Vince and Klenik, Attila and Hajdu, {\'A}kos and J{\'a}mbor, Attila and Bartha, Tam{\'a}s and Majzik, Istv{\'a}n},
title = {{PetriDotNet} 1.5: Extensible {P}etri Net Editor and Analyser for Education and Research},
year = {2016},
booktitle = {Application and Theory of Petri Nets and Concurrency},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {123--132},
publisher = {Springer},
isbn = {978-3-319-39086-4},
doi = {10.1007/978-3-319-39086-4_9},
type = {Conference},
url_pdf = {https://hajduakos.github.io/publications/icatpn2016.pdf},
url_link = {http://link.springer.com/chapter/10.1007/978-3-319-39086-4_9},
abstract = {PetriDotNet is an extensible Petri net editor and analysis tool originally developed to support the education of formal methods. The ease of use and simple extensibility fostered more and more algorithmic developments. Thanks to the continuous interest of developers (especially M.Sc. and Ph.D. students who choose PetriDotNet as the framework of their thesis project), by now PetriDotNet became an analysis platform, providing various cutting-edge model checking algorithms and stochastic analysis algorithms. As a result, industrial application of the tool also emerged in recent years. In this paper we overview the main features and the architecture of PetriDotNet, and compare it with other available tools.},
}
Downloads: 0
{"_id":"ymznh7BiwXKDdzGsj","bibbaseid":"vrs-darvas-molnr-klenik-hajdu-jmbor-bartha-majzik-petridotnet15extensiblepetrineteditorandanalyserforeducationandresearch-2016","downloads":0,"creationDate":"2016-07-06T21:31:09.366Z","title":"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research","author_short":["Vörös, A.","Darvas, D.","Molnár, V.","Klenik, A.","Hajdu, Á.","Jámbor, A.","Bartha, T.","Majzik, I."],"year":2016,"bibtype":"incollection","biburl":"https://hajduakos.github.io/publications.bib","bibdata":{"bibtype":"incollection","type":"Conference","author":[{"propositions":[],"lastnames":["Vörös"],"firstnames":["András"],"suffixes":[]},{"propositions":[],"lastnames":["Darvas"],"firstnames":["Dániel"],"suffixes":[]},{"propositions":[],"lastnames":["Molnár"],"firstnames":["Vince"],"suffixes":[]},{"propositions":[],"lastnames":["Klenik"],"firstnames":["Attila"],"suffixes":[]},{"propositions":[],"lastnames":["Hajdu"],"firstnames":["Ákos"],"suffixes":[]},{"propositions":[],"lastnames":["Jámbor"],"firstnames":["Attila"],"suffixes":[]},{"propositions":[],"lastnames":["Bartha"],"firstnames":["Tamás"],"suffixes":[]},{"propositions":[],"lastnames":["Majzik"],"firstnames":["István"],"suffixes":[]}],"title":"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research","year":"2016","booktitle":"Application and Theory of Petri Nets and Concurrency","series":"Lecture Notes in Computer Science","volume":"9698","pages":"123–132","publisher":"Springer","isbn":"978-3-319-39086-4","doi":"10.1007/978-3-319-39086-4_9","url_pdf":"https://hajduakos.github.io/publications/icatpn2016.pdf","url_link":"http://link.springer.com/chapter/10.1007/978-3-319-39086-4_9","abstract":"PetriDotNet is an extensible Petri net editor and analysis tool originally developed to support the education of formal methods. The ease of use and simple extensibility fostered more and more algorithmic developments. Thanks to the continuous interest of developers (especially M.Sc. and Ph.D. students who choose PetriDotNet as the framework of their thesis project), by now PetriDotNet became an analysis platform, providing various cutting-edge model checking algorithms and stochastic analysis algorithms. As a result, industrial application of the tool also emerged in recent years. In this paper we overview the main features and the architecture of PetriDotNet, and compare it with other available tools.","bibtex":"@incollection{icatpn2016,\n author = {V{\\\"o}r{\\\"o}s, Andr{\\'a}s and Darvas, D{\\'a}niel and Moln{\\'a}r, Vince and Klenik, Attila and Hajdu, {\\'A}kos and J{\\'a}mbor, Attila and Bartha, Tam{\\'a}s and Majzik, Istv{\\'a}n},\n title = {{PetriDotNet} 1.5: Extensible {P}etri Net Editor and Analyser for Education and Research},\n year = {2016},\n booktitle = {Application and Theory of Petri Nets and Concurrency},\n series = {Lecture Notes in Computer Science},\n volume = {9698},\n pages = {123--132},\n publisher = {Springer},\n isbn = {978-3-319-39086-4},\n doi = {10.1007/978-3-319-39086-4_9},\n\n type = {Conference},\n\n url_pdf = {https://hajduakos.github.io/publications/icatpn2016.pdf},\n url_link = {http://link.springer.com/chapter/10.1007/978-3-319-39086-4_9},\n\n abstract = {PetriDotNet is an extensible Petri net editor and analysis tool originally developed to support the education of formal methods. The ease of use and simple extensibility fostered more and more algorithmic developments. Thanks to the continuous interest of developers (especially M.Sc. and Ph.D. students who choose PetriDotNet as the framework of their thesis project), by now PetriDotNet became an analysis platform, providing various cutting-edge model checking algorithms and stochastic analysis algorithms. As a result, industrial application of the tool also emerged in recent years. In this paper we overview the main features and the architecture of PetriDotNet, and compare it with other available tools.},\n}\n\n","author_short":["Vörös, A.","Darvas, D.","Molnár, V.","Klenik, A.","Hajdu, Á.","Jámbor, A.","Bartha, T.","Majzik, I."],"key":"icatpn2016","id":"icatpn2016","bibbaseid":"vrs-darvas-molnr-klenik-hajdu-jmbor-bartha-majzik-petridotnet15extensiblepetrineteditorandanalyserforeducationandresearch-2016","role":"author","urls":{" pdf":"https://hajduakos.github.io/publications/icatpn2016.pdf"," link":"http://link.springer.com/chapter/10.1007/978-3-319-39086-4_9"},"metadata":{"authorlinks":{"hajdu, á":"https://hajduakos.github.io/publications.html"}}},"search_terms":["petridotnet","extensible","petri","net","editor","analyser","education","research","vörös","darvas","molnár","klenik","hajdu","jámbor","bartha","majzik"],"keywords":[],"authorIDs":["3MgKtuPWy9PwMYJmr","577d789d0fdaf8c97d0003e6","5LYbkbBcDuR3siWzy","5e00c3ba7a90b3de0100009b","5e0f08ae070585df01000057","5e1c2d686e1491df0100002d","5e38c96887bbe9de010000ce","5e42ecf8a6f4a6f2010001c2","5e4c2a7a2dc400de01000299","HaK67Q23SshcjnTTJ","KGDotEjHj6T9WPqWk","Nx3HmAKrog3NAxfzT","QGBCW6qyw4PZtbyhs","WhrpES4wBCtbFpLNM","XPzgtGXr6ehWupiqm","crKHGkb8tkwAiL2Kh","nsScN9wDXKgPDgG8Q","ycJpDkYPhR3b9ATbm"],"dataSources":["WFubm6dru5DutkSZW","JfeNvNW2nQvgPNh8P"]}