Design and implementation of an algorithm for stochastic and timed Petri-Nets

Type of thesis: 


Starting Data: 


Abstract/Topic : 

Stochastic and timed Petri nets are suitable for the simulations of discrete event-driven systems. Especially they are useful in flexible manufacturing systems, which are essential for Industry-4.0 in the future.
An example of timed Petri Nets in the field of manufacturing application is that, with such Petri nets, we can simulate and analyze the system, for example, the utilization of the robots. Hence, the design of the manufacturing system can be improved.



  • Design and analyze the algorithm for stochastic and timed Petri-Nets
  • Integrate the designed algorithm into the Python Package SNAKES


Required Qualification: 

Algorithm and Data Structure