Practical relevance of the Petri nets model language for a real-time multi-processor system
Abstract
This is a master thesis that studies the practical applications of the Petri nets a graphical and mathematical modelling tool [1] - for concurrent, real-time systems. Petri nets are a powerful tool for creating and analysing models and its behaviour in order to increase their performance. The systems that might be studied include concurrent, stochastic, nondeterministic, parallel and/or asynchronous systems.The master thesis starts defining briefly the theory used in the developing of tools that simulates a real-time, concurrent, stochastic system. These tools or models will be describe in the next section and, while characterizing the models, another development options are offered so that other systems can be modelled from the ones presented here. It continues showing different application of the created models and discussing its simulation reports. In addition, it is provided in the conclusion further discussion about the suitability of the Petri net and the software used for the study of the concurrent, stochastic, nondeterministic, parallel and/or asynchronous systems. It also shows the appropriateness of a combination of the Petri nets and a programming language for studying this kind of systems.Suggestions are provided for further investigations and extensions of this topic.