Petri nets for modelling and calculations
MetadataShow full item record
A Petri net is a mathematical, graphical, executable technique for the specification, modeling and analysis of concurrent, discrete-event dynamic systems. Petri net is a directed bipartite graph, in which the nodes represent transitions or events that may occur and places or conditions. The directed arcs are used to specify which places areconditions for which transitions. Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Besides, Petri nets have an exact mathematical definition of their execution semantics and developed mathematical theory for process analysis.The goals of the master's thesis project include:- theory exploration and describing possible use and properties;- reliability modeling of systems using Petri nets;- communication protocols analysis using Petri nets;- examination of the free software tools available;- simulating and consideration of a range of examples from different areas.