Biomodeling with Petri nets
Paturca, Romina (2014)
Paturca, Romina
Turun ammattikorkeakoulu
2014
All rights reserved
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:amk-201402062074
https://urn.fi/URN:NBN:fi:amk-201402062074
Tiivistelmä
Petri nets are graphic-based modeling tools for systems where activity and information flows have an important role among physical components and activities. Since their introduction, about 50 years ago, Petri nets have been applied in various areas such as computer architecture, software design, workflow management, programming, databases, process modeling, diagnosis, simulation, discrete process control, communication protocols, and yet even further outside of computer science, for example, administration, theories of communication, natural sciences. At the same time, nets have been modified and theoretically investigated and they have increased the interest of computer scientists in net theory. Petri nets have also been adjusted in biology and used for modeling biological networks.
This thesis presents the basic notions of Petri nets and their use for modeling and verification of systems. The thesis starts with an introduction and a brief history of Petri nets. It continues with properties of Petri Nets, modeling and analysis techniques, and it concludes with the analysis of a biological case study with a Petri net model.
This thesis presents the basic notions of Petri nets and their use for modeling and verification of systems. The thesis starts with an introduction and a brief history of Petri nets. It continues with properties of Petri Nets, modeling and analysis techniques, and it concludes with the analysis of a biological case study with a Petri net model.