Abstract: Petri nets are a well-known formalism for the description of concurrency and synchronization inherent in modern distributed systems. The graphical representation of Place-Transition net is called model. In order to understand the properties of the model and to be sure that it behaves as it should, the model can be analysed and simulated. In this paper we are going to show simple model for the Cookie Vending Machine, designed with stochastic petri nets. Then we are going to analyse and simulate the model using the Petri Net Toolbox in Matlab. At the end the collected results from analyses will be discussed.
Keywords: Analysis, Simulation, Cookie Vending Machine, Petri Net, Stochastic Petri Net, Petri Net Toolbox.