• Corpus ID: 10610688

Petri nets in VANTED: Simulation of barley seed metabolism

@inproceedings{Hartmann2012PetriNI,
  title={Petri nets in VANTED: Simulation of barley seed metabolism},
  author={Anja Hartmann and Hendrik Rohn and Kevin Pucknat and Falk Schreiber},
  year={2012}
}
Petri nets are a mathematical language, which provide a uni- fied environment for modeling, simulation, and formal analysis of biolog- ical systems. To support the applicability of Petri nets for biological users we implemented a Petri net add-on for the widely used Vanted framework. Vanted supports Petri net reconstruction, simulation capa- bilities to be able to investigate dynamic system behavior, and analysis algorithms for calculating intrinsic net properties. Vanted furthermore supports… 

Figures and Tables from this paper

VANTED v2: a framework for systems biology applications
TLDR
Vanted is a stand-alone framework which supports scientists during the data analysis and interpretation phase, which comprises a comprehensive set of seven main tasks which range from network reconstruction, data visualization, integration of various data types, network simulation to data exploration combined with a manifold support of systems biology standards for visualization and data exchange.
VANTED v2: a framework for systems biology
TLDR
VANTED (version 2), a framework for systems biology applications, which comprises a comprehensive set of seven main tasks, which range from network reconstruction, data visualization, integration of various data types, network simulation to data exploration combined with a manifold support of systems biology standards for visualization and data exchange.

References

SHOWING 1-10 OF 26 REFERENCES
Petri nets for modelling metabolic pathways: a survey
TLDR
A comprehensive review of recent research on the representation and analysis of metabolic pathways by using Petri nets is presented 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.
Petri Nets for Systems and Synthetic Biology
TLDR
A Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms, is given, which can be applied more widely to other formalisms used to model and analyse biochemical networks.
Flux Balance Analysis of Barley Seeds: A Computational Approach to Study Systemic Properties of Central Metabolism1[W]
TLDR
Insight was given into the potential role of inorganic pyrophosphate metabolism to maintain seed metabolism under oxygen deprivation and the predicted growth rate and the active metabolic pathway patterns under anoxic, hypoxic, and aerobic conditions predicted by the model were in accordance with published experimental results.
MetaCrop 2.0: managing and exploring information about crop plant metabolism
TLDR
Several novel developments of the MetaCrop system and the extended database content are presented, providing different levels of detail from overview maps of primary metabolism to kinetic data of enzymes.
VANTED: A system for advanced data analysis and visualization in the context of biological networks
TLDR
VANTED greatly helps researchers in the analysis and interpretation of biochemical data, and thus is a useful tool for modern biological research.
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
TLDR
The status of the first release of TAPAAL is reported on, on its new modelling features and the efficiency and modelling capabilities of the tool are demonstrated, on a few examples.
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets
TLDR
The project INCOME2010 aiming at developing an open source software toolset that facilitates the development of process-oriented information systems is surveyed, which provides functionalities for modeling, analyzing, executing, and monitoring (business) processes using variants of high-level Petri nets and concepts of Service-Oriented Architecture.
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
TLDR
The Petri Net Markup Language (PNML) is about to be finally adopted as ISO/IEC 15909-2, and it is hoped that this paper will unify the different lines of PNML and advertise the use of ISO/ IEC 159 09-2.
High Dimensional Brushing for Interactive Exploration of Multivariate Data
TLDR
The design of N-dimensional brushes which are defined in data space rather than screen space are described and how they have been integrated into XmdvTool, a visualization package for displaying multivariate data is shown.
A survey of basic net models and modular net classes
The paper surveys those net classes which can be called to some extent ‘modular’ and the basic net models used as framework in their definition.
...
...