- Tytuł:
- Some aspects of modeling and analysis of complex biological systems using time Petri nets
- Autorzy:
-
Olszak, J.
Radom, M.
Formanowicz, P. - Powiązania:
- https://bibliotekanauki.pl/articles/199770.pdf
- Data publikacji:
- 2018
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
time Petri nets
t-invariants
biological system
system biologiczny
czasowe sieci Petriego
inwariant - Opis:
- Models of complex biological systems can be built using different types of Petri nets. Qualitative nets, for example, can be successfully used to obtain a model of such a system and on its basis a structure-based analysis can be performed. Time is an important factor influencing a whole biological system behaviour and in many cases it should be considered during building a model of such a system. In this paper various types of time Petri nets have been described and methods for studying corresponding models have been discussed. In particular, an algorithm using time parameters to enhance t-invariants based analysis is proposed. This algorithm allows for calculation of the minimal and maximal numbers of tokens (respectively, for an optimistic and pessimistic case) in particular places necessary to assure that all transitions from a given t-invariant support will be able to fire. Additionally, to address the problem of the proper assignment of time values to transitions, the known methods for calculation and evaluation of such time parameters based on the net structure have also been discussed.
- Źródło:
-
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 1; 67-78
0239-7528 - Pojawia się w:
- Bulletin of the Polish Academy of Sciences. Technical Sciences
- Dostawca treści:
- Biblioteka Nauki
Artykuł