Industrial applications of the PetriDotNet modelling and analysis tool

TitleIndustrial applications of the PetriDotNet modelling and analysis tool
Publication TypeJournal Article
Year of Publication2018
AuthorsVörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I.
JournalScience of Computer Programming
Keywordsmodel checking, Modelling, Petri nets, Simulation, Stochastic analysis

Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems. This motivated our work to develop PetriDotNet, a Petri net editor and analysis tool. In this paper we overview the supported modelling formalisms and the analysis methods included in PetriDotNet. Next, we present eight different industrial case studies, demonstrating the wide variety of scenarios where Petri nets and PetriDotNet can help the design, development and analysis of industrial systems. Our original goal with PetriDotNet was to provide an educational tool to our students, however our efforts led to a framework being able to serve both academic and industrial needs.