Master Degree / Yüksek Lisans Tezleri

Permanent URI for this collectionhttps://hdl.handle.net/11147/3008

Browse

Filters

20081

Settings

Author: search.filters.author.Ufuktepe, ÜnalInstitution Author: search.filters.institutionAuthor.Yılmaz, Buket

Search Results

Now showing 1 - 1 of 1
  • Master Thesis
    Applications of Petri Nets
    (Izmir Institute of Technology, 2008) Yılmaz, Buket; Ufuktepe, Ünal; Ufuktepe, Ünal; 04.02. Department of Mathematics; 04. Faculty of Science; 01. Izmir Institute of Technology
    Petri nets are powerful formalism for modeling a wide range of dynamic systems and system behaviors. This thesis surveys the basic concept and application of Petri nets. The structure of Petri nets, their marking and execution and several examples of Petri net modeling. In this thesis we research into the analysis of Petri nets. Also we give the structure of Reachability graphs of Petri nets and their advantages for analyzing the Petri nets. The reachability problem for Petri nets is the problem of finding if Mn 2 R(M0) for a given marking Mn in a net (N,M0).We present several different kinds of Petri nets, together with computer tools based on Mathematica. We give the Mathematica commands for Reachability problem and also we created Mathematica commands for Incidence matrix of Petri nets. We study the concept of Petri nets and applications of Petri nets.We especially focus on Biological applications on Petri nets and we work on modeling of Hashimoto.s Thyroiditis in Petri Nets.