Petri nets for modelling metabolic pathways: a survey

In the last 15 years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal of this paper is twofold. First, we discuss how the knowledge about metabolic pathways can be represented with Petri nets. We point out the main problems that arise in the construction of a Petri net model of a metabolic pathway and we outline some solutions proposed in the literature. Second, we present a comprehensive review of recent research on this topic, in order to assess the maturity of the field and the availability of a methodology for modelling a metabolic pathway by a corresponding Petri net

Guide to the sources of the history of Africa south of the Sahara in the Netherlands /

At head of title: Netherlands State Archives Service.On spine: Sources of the history of Africa south of the Sahara, Netherlands.Includes indexes

Are Dynamic Mechanistic Explanations Still Mechanistic?

International audienceA major type of explanation in biology consists of mechanistic explanations (e.g. Machamer et al. 2000, Kaplan and Craver 2011). The explanatory force of mechanisms is apparent in such typical cases as the functioning of an ion channel or the molecular activation of a receptor: it includes the specification of a model of mechanism and the rehearsing of a causal story that tells how the explanandum phenomenon is produced by the mechanism. It is however much less clear how mechanisms explain in the case of complex and non-linear biomolecular networks such as those that underlie the action of hormones and the regulation of genes. While dynamic mechanistic explanations have been proposed as an extension of mechanistic explanations (e.g. Bechtel and Abrahamsen 2010), we argue that the former depart from the latter in that they do not draw their explanatory force from a causal story but from the mathematical warrants they give that the explanandum phenomenon follows from a mathematical model. By analyzing the explanatory force of mechanistic explanation and of dynamic mechanistic explanation, we show that the two types of explanations can be construed as limit cases of a more general pattern of explanation-Causally Interpreted Model Explanations-that draws its explanatory force from a model, a causal interpretation that links the model to biological reality, and a mathematical derivation that links the model to the explanandum phenomenon