Browse
Submit Data
Databases
API
Help

Dataset Information

0 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory.

ABSTRACT: 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.

SUBMITTER: Martinik I

PROVIDER: S-EPMC4516835 | biostudies-other | 2015

REPOSITORIES: biostudies-other

ACCESS DATA

Json Xml

Similar Datasets

The equivalency between logic Petri workflow nets and workflow nets.

Project description:Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented.

| S-EPMC4363987 | biostudies-other

Modeling of the Glycolysis Pathway in Plasmodium falciparum using Petri Nets.

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

Measuring ancient technological complexity and its cognitive implications using Petri nets.

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

Fuzzy Stochastic Petri Nets for Modeling Biological Systems with Uncertain Kinetic Parameters.

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

Modelling and measuring complexity of traditional and ancient technologies using Petri nets.

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

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking.

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

Modelling and analysis of the feeding regimen induced entrainment of hepatocyte circadian oscillators using petri nets.

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

Selected Aspects of Tobacco-Induced Prothrombotic State, Inflammation and Oxidative Stress: Modeled and Analyzed Using Petri Nets.

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

RCADiA: simple automation platform for comparative multidimensional protein identification technology.

Project description:Multidimensional liquid chromatography in combination with tandem mass spectrometry has been used to analyze a variety of biological structures including protein complexes. Incorporating this approach with autosampling devices presents a number of problems including decreased sensitivity due to exposure to extra surfaces, carryover from run to run, and increased dead volume. We developed a device, termed Radial Column Array for Distribution and Automation (RCADiA), to automate multiple MuDPIT experiments while eliminating many of these problems and maintaining a high resolution and sensitive analysis. The design, which places each sample downstream of any common fluid path, presents a low risk of carryover between successive analyses. Beyond the convenience of automation, the RCADiA platform also produces data of similar quality to the standard method of performing individual MuDPIT experiments. We demonstrate this device by performing a comparative analysis of mitochondria enriched from rat liver and spinal cord.

| S-EPMC2528021 | biostudies-literature

Modeling and Simulating the Aerobic Carbon Metabolism of a Green Microalga Using Petri Nets and New Concepts of VANESA.

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

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data