Verifiable biology

S Konur, M Gheorghe… - Journal of the Royal …, 2023 - royalsocietypublishing.org
The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Modeling and targeting an essential metabolic pathway of Plasmodium falciparum in apicoplast using Petri nets

S Gupta, GP Singh, S Kumawat - Applied Mathematics-A Journal of …, 2022 - Springer
Petri net (PN) is one of the promising computational and mathematical formalisms used to
represent and study the behavior of complex metabolic networks. The various available …

Study of the bioenergetics to identify the novel pathways as a drug target against Mycobacterium tuberculosis using Petri net

S Gupta, Z Fatima, S Kumawat - Biosystems, 2021 - Elsevier
Tuberculosis is one of the life-threatening diseases globally, caused by the bacteria
Mycobacterium tuberculosis. In order to control this epidemic globally, there is an urgent …

Petri net recommender system to model metabolic pathway of polyhydroxyalkanoates

S Gupta, GP Singh, S Kumawat - International Journal of Knowledge …, 2019 - igi-global.com
Due to the complexity of the metabolic pathways, their modeling has been a great challenge
for the researchers. Various mathematical models have been developed and are continuing …

[HTML][HTML] Nets-within-nets for modeling emergent patterns in ontogenetic processes

R Bardini, A Benso, G Politano, S Di Carlo - Computational and Structural …, 2021 - Elsevier
Ontogenesis is the development of an organism from its earliest stage to maturity, including
homeostasis maintenance throughout adulthood despite environmental perturbations …

[PDF][PDF] Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks.

R Gori, P Milazzo, L Nasti - Bioinformatics, 2019 - scitepress.org
One of the main goals of systems biology is to understand the behaviour of (bio) chemical
reaction networks, which can be very complex and difficult to analyze. Often, dynamical …

Quantitative analysis of the bioenergetics of Mycobacterium tuberculosis along with Glyoxylate cycle as a drug target under inhibition of enzymes using Petri net

S Gupta, S Kumawat, Z Fatima, S Chatterjee - Computational Biology and …, 2023 - Elsevier
The bacteria Mycobacterium tuberculosis is responsible for the infectious disease
Tuberculosis. Targeting the tubercule bacteria is an important challenge in developing the …

Modeling iPSC-derived Endothelial Cell Transition in Tumor Angiogenesis using Petri Nets

A Šterberová, A Dincu, S Oudshoorn… - arXiv preprint arXiv …, 2024 - arxiv.org
Tumor angiogenesis concerns the development of new blood vessels supplying the
necessary nutrients for the further development of existing tumor cells. The entire process is …

Petri net: modeling, properties and analysis techniques

S Gupta, S Garg - … and Computational Sciences: Proceedings of The …, 2024 - degruyter.com
Graph theory is a branch of mathematics that is used to study the pairwise relations between
the objects of a network. Petri net (PN) is a special type of graph that has emerged as an …

Modelagem de sistema de partida e parada de uma turbina hidrelétrica usando redes Petri

C de Oliveira, BS Machado… - Brazilian Journal …, 2020 - ojs.brazilianjournals.com.br
Um dos sistemas primordiais para a produção de energia em uma usina hidrelétrica
consiste em controlar as unidades geradoras elétricas. O sistema de partida e parada dos …