Type of thesis:
Stochastic and timed Petri nets are suitable for the simulations of descrete 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 analyse the system, for example, the utilization of the robots. Hence, the design of manufacturing system can be improved.
- Design and analyse the algorithm for stochastic and timed Petri-Nets
- Integrate the designed algorithm into the Python Package SNAKES