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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
consiste em controlar as unidades geradoras elétricas. O sistema de partida e parada dos …