Use of Petri Nets to simulate biochemical processes.

Sieci Petriego są jednym z matematycznych i obliczeniowych modeli dyskretnych systemów rozproszonych, między innymi tych które reprezentują zbiór niezależnych procesów operujących na wspólnych zasobach. Obecnie, najpopularniejsze podejście do przeprowadzania analizy procesów biochemicznych bazuje na równaniach różniczkowych. Celem tej pracy jest zaprezentowanie użycia Sieci Petriego jako konkurencyjnego narzędzia dla tego typu analiz. Zaproponowano formalizm Funkcjonalnych (Stochastycznych) Ciągłych Czasowych Sieci Petriego oraz aplikację do projektowania modeli oraz przeprowadzania ich analizy ilościowej. Praca bazuje na przykładach: modelu Michaelisa i Menten, modelu inhibicji kompetycyjnej i akompetycyjnej oraz modelu receptora GABA-A - kanału chlorkowego bramkowanego ligandem. Porównując uzyskane wyniki można stwierdzić, że Sieci Petriego mogą być śmiało używane do przeprowadzania tego typu anali