The equivalency between logic Petri workflow nets and workflow nets.
Ontology highlight
ABSTRACT:
SUBMITTER: Wang J
PROVIDER: S-EPMC4363987 | biostudies-other | 2015
REPOSITORIES: biostudies-other
Similar Datasets
Project description:Malaria is one of the deadly diseases, which affects a large number of the world's population. The Plasmodium falciparum parasite during erythrocyte stages produces its energy mainly through anaerobic glycolysis, with pyruvate being converted into lactate. The glycolysis metabolism in P. falci-parum is one of the important metabolic pathways of the parasite because the parasite is entirely dependent on it for energy. Also, several glycolytic enzymes have been proposed as drug targets. Petri nets (PNs) have been recognized as one of the important models for representing biological pathways. In this work, we built a qualitative PN model for the glycolysis pathway in P. falciparum and analyzed the model for its structural and quantitative properties using PN theory. From PlasmoCyc files, a total of 11 reactions were extracted; 6 of these were reversible and 5 were irreversible. These reactions were catalyzed by a total number of 13 enzymes. We extracted some of the essential reactions in the pathway using PN model, which are the possible drug targets without which the pathway cannot function. This model also helps to improve the understanding of the biological processes within this pathway.
| S-EPMC4869600 | biostudies-literature
Project description:We implement a method from computer sciences to address a challenge in Paleolithic archaeology: how to infer cognition differences from material culture. Archaeological material culture is linked to cognition, and more complex ancient technologies are assumed to have required complex cognition. We present an application of Petri net analysis to compare Neanderthal tar production technologies and tie the results to cognitive requirements. We applied three complexity metrics, each relying on their own unique definitions of complexity, to the modeled production processes. Based on the results, we propose that Neanderthal technical cognition may have been analogous to that of contemporary modern humans. This method also enables us to distinguish the high-order cognitive functions combining traits like planning, inhibitory control, and learning that were likely required by different ancient technological processes. The Petri net approach can contribute to our understanding of technology and cognitive evolution as it can be used on different materials and technologies, across time and species.
| S-EPMC10516984 | biostudies-literature
Project description:Stochastic Petri nets (SPNs) have been widely used to model randomness which is an inherent feature of biological systems. However, for many biological systems, some kinetic parameters may be uncertain due to incomplete, vague or missing kinetic data (often called fuzzy uncertainty), or naturally vary, e.g., between different individuals, experimental conditions, etc. (often called variability), which has prevented a wider application of SPNs that require accurate parameters. Considering the strength of fuzzy sets to deal with uncertain information, we apply a specific type of stochastic Petri nets, fuzzy stochastic Petri nets (FSPNs), to model and analyze biological systems with uncertain kinetic parameters. FSPNs combine SPNs and fuzzy sets, thereby taking into account both randomness and fuzziness of biological systems. For a biological system, SPNs model the randomness, while fuzzy sets model kinetic parameters with fuzzy uncertainty or variability by associating each parameter with a fuzzy number instead of a crisp real value. We introduce a simulation-based analysis method for FSPNs to explore the uncertainties of outputs resulting from the uncertainties associated with input parameters, which works equally well for bounded and unbounded models. We illustrate our approach using a yeast polarization model having an infinite state space, which shows the appropriateness of FSPNs in combination with simulation-based analysis for modeling and analyzing biological systems with uncertain information.
| S-EPMC4766190 | biostudies-literature
Project description:Technologies and their production systems are used by archaeologists and anthropologists to study complexity of socio-technical systems. However, there are several issues that hamper agreement about what constitutes complexity and how we can systematically compare the complexity of production systems. In this work, we propose a novel approach to assess the behavioural and structural complexity of production systems using Petri nets. Petri nets are well-known formal models commonly used in, for example, biological and business process modelling, as well as software engineering. The use of Petri nets overcomes several obstacles of current approaches in archaeology and anthropology, such as the incompatibility of the intrinsic sequential logic of the available methods with inherently non-sequential processes, and the inability to explicitly model activities and resources separately. We test the proposed Petri net modelling approach on two traditional production systems of adhesives made by Ju/'hoan makers from Nyae, Namibia from Ammocharis coranica and Ozoroa schinzii plants. We run simulations in which we assess the complexity of these two adhesive production systems in detail and show how Petri net dynamics reveal the structural and behavioural complexity of different production scenarios. We show that concurrency may be prevalent in the production system of adhesive technologies and discuss how changes in location during the process may serve to control the behavioural complexity of a production system. The approach presented in this paper paves the way for future systematic visualization, analysis, and comparison of ancient production systems, accounting for the inherent complex, concurrent, and action/resource-oriented aspects of such processes.
| S-EPMC9707756 | biostudies-literature
Project description:BackgroundQuorum sensing drives biofilm formation in bacteria in order to ensure that biofilm formation only occurs when colonies are of a sufficient size and density. This spatial behaviour is achieved by the broadcast communication of an autoinducer in a diffusion scenario. This is of interest, for example, when considering the role of gut microbiota in gut health. This behaviour occurs within the context of the four phases of bacterial growth, specifically in the exponential stage (phase 2) for autoinducer production and the stationary stage (phase 3) for biofilm formation.ResultsWe have used coloured hybrid Petri nets to step-wise develop a flexible computational model for E.coli biofilm formation driven by Autoinducer 2 (AI-2) which is easy to configure for different notions of space. The model describes the essential components of gene transcription, signal transduction, extra and intra cellular transport, as well as the two-phase nature of the system. We build on a previously published non-spatial stochastic Petri net model of AI-2 production, keeping the assumptions of a limited nutritional environment, and our spatial hybrid Petri net model of biofilm formation, first presented at the NETTAB 2017 workshop. First we consider the two models separately without space, and then combined, and finally we add space. We describe in detail our step-wise model development and validation. Our simulation results support the expected behaviour that biofilm formation is increased in areas of higher bacterial colony size and density. Our analysis techniques include behaviour checking based on linear time temporal logic.ConclusionsThe advantages of our modelling and analysis approach are the description of quorum sensing and associated biofilm formation over two phases of bacterial growth, taking into account bacterial spatial distribution using a flexible and easy to maintain computational model. All computational results are reproducible.
| S-EPMC6471779 | biostudies-literature
Project description:Circadian rhythms are certain periodic behaviours exhibited by living organism at different levels, including cellular and system-wide scales. Recent studies have found that the circadian rhythms of several peripheral organs in mammals, such as the liver, are able to entrain their clocks to received signals independent of other system level clocks, in particular when responding to signals generated during feeding. These studies have found SIRT1, PARP1, and HSF1 proteins to be the major influencers of the core CLOCKBMAL1:PER-CRY circadian clock. These entities, along with abstracted feeding induced signals were modelled collectively in this study using Petri Nets. The properties of the model show that the circadian system itself is strongly robust, and is able to continually evolve. The modelled feeding regimens suggest that the usual 3 meals/day and 2 meals/day feeding regimens are beneficial with any more or less meals/day negatively affecting the system.
| S-EPMC4366204 | biostudies-literature
Project description:Many factors, such as endothelial dysfunction, inflammation and hemostatic disturbances, affect formation and progression of atherosclerotic plaque. In our study, we have focused on hemostatic disturbances with particular emphasis on the extrinsic pathways of coagulation. Thrombin is a main enzyme of coagulation and it is engaged in many different subprocesses. It leads to activation of factors of the coagulation cascade, transition of fibrinogen to fibrin monomer, endothelial damage, inflammation, activation of platelets and proliferation. In our study, selected aspects of disorders in prothrombotic states influenced by cigarette smoke have been modeled and analyzed. Tobacco-induced increased tissue factor, which is associated with less plasminogen activator and increased plasminogen activator-1 inhibitor, has been included in the presented model. These disorders together with accompanying inflammatory state are closely related to thrombus formation and cardiovascular disease promotion. The proposed model has been built using Petri nets and the analysis has been based mainly on t-invariants. Using the Petri net theory to model and analyze the investigated phenomena allows to better understand them by revealing some interesting dependencies in the studied biological system. It explains how tobacco smoke affects the analyzed processes and how harmful these effects are.
| S-EPMC6660494 | biostudies-literature
Project description:Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repository of LearnING Objects) project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are significantly generalized for the newly introduced class of the SNT Petri process and agent nets in this paper. The PLACE-SUBST and ASYNC-PROC algebraic operators are defined for this class of Petri nets and their chosen properties are proved. The SNT Petri process and agent nets theory were significantly applied at the design, verification, and implementation of the programming system ensuring the pilot audiovisual lecture room functionality.
| S-EPMC4516835 | biostudies-other
Project description:In this work we present new concepts of VANESA, a tool for modeling and simulation in systems biology. We provide a convenient way to handle mathematical expressions and take physical units into account. Simulation and result management has been improved, and syntax and consistency checks, based on physical units, reduce modeling errors. As a proof of concept, essential components of the aerobic carbon metabolism of the green microalga Chlamydomonas reinhardtii are modeled and simulated. The modeling process is based on xHPN Petri net formalism and simulation is performed with OpenModelica, a powerful environment and compiler for Modelica. VANESA, as well as OpenModelica, is open source, free-of-charge for non-commercial use, and is available at: http://agbi.techfak.uni-bielefeld.de/vanesa.
| S-EPMC6340121 | biostudies-literature
Project description:Motivation:Arabidopsis thaliana is a well-established model system for the analysis of the basic physiological and metabolic pathways of plants. Nevertheless, the system is not yet fully understood, although many mechanisms are described, and information for many processes exists. However, the combination and interpretation of the large amount of biological data remain a big challenge, not only because data sets for metabolic paths are still incomplete. Moreover, they are often inconsistent, because they are coming from different experiments of various scales, regarding, for example, accuracy and/or significance. Here, theoretical modeling is powerful to formulate hypotheses for pathways and the dynamics of the metabolism, even if the biological data are incomplete. To develop reliable mathematical models they have to be proven for consistency. This is still a challenging task because many verification techniques fail already for middle-sized models. Consequently, new methods, like decomposition methods or reduction approaches, are developed to circumvent this problem. Methods: We present a new semi-quantitative mathematical model of the metabolism of Arabidopsis thaliana. We used the Petri net formalism to express the complex reaction system in a mathematically unique manner. To verify the model for correctness and consistency we applied concepts of network decomposition and network reduction such as transition invariants, common transition pairs, and invariant transition pairs. Results: We formulated the core metabolism of Arabidopsis thaliana based on recent knowledge from literature, including the Calvin cycle, glycolysis and citric acid cycle, glyoxylate cycle, urea cycle, sucrose synthesis, and the starch metabolism. By applying network decomposition and reduction techniques at steady-state conditions, we suggest a straightforward mathematical modeling process. We demonstrate that potential steady-state pathways exist, which provide the fixed carbon to nearly all parts of the network, especially to the citric acid cycle. There is a close cooperation of important metabolic pathways, e.g., the de novo synthesis of uridine-5-monophosphate, the γ-aminobutyric acid shunt, and the urea cycle. The presented approach extends the established methods for a feasible interpretation of biological network models, in particular of large and complex models.
| S-EPMC5491931 | biostudies-literature