@article {VOROS201817,
	title = {Industrial applications of the PetriDotNet modelling and analysis tool},
	journal = {Science of Computer Programming},
	volume = {157},
	year = {2018},
	pages = {17-40},
	abstract = {<p>
	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.</p>
},
	keywords = {model checking, Modelling, Petri nets, Simulation, Stochastic analysis},
	issn = {0167-6423},
	doi = {https://doi.org/10.1016/j.scico.2017.09.003},
	url = {http://www.sciencedirect.com/science/article/pii/S0167642317301910},
	author = {Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Darvas and {\'A}kos Hajdu and Klenik, Attila and Marussy, Krist{\'o}f and Vince Moln{\'a}r and Tam{\'a}s Bartha and Istv{\'a}n Majzik}
}
