A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
[chapter]
2016
Lecture Notes in Computer Science
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
doi:10.1007/978-3-319-39086-4_9
fatcat:mzi43mardvco5ncticudso2x6i