Publikation:

Petri nets in VANTED : Simulation of barley seed metabolism

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2012

Autor:innen

Hartmann, Anja
Rohn, Hendrik
Pucknat, Kevin

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

HEINER, Monika, ed., Ralf HOFESTÄDT, ed.. Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets - BioPPN 2012. Hamburg: Bibliothek des Fachbereichs Informatik, 2012, pp. 20-28. CEUR Workshop Proceedings. 852

Zusammenfassung

Petri nets are a mathematical language, which provide a unified environment for modeling, simulation, and formal analysis of biological 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 capabilities to be able to investigate dynamic system behavior, and analysis algorithms for calculating intrinsic net properties. Vanted furthermore supports advanced visualization and exploration techniques, which can be used to examine even larger Petri nets in an interactive manner. We use this framework for the simulation-based analysis of a large stoichiometric model of central barley seed metabolism and discuss problems and obstacles during this process.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

3rd International Workshop on Biological Processes & Petri Nets, 25. Juni 2012 - 25. Juni 2012, Hamburg
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690HARTMANN, Anja, Hendrik ROHN, Kevin PUCKNAT, Falk SCHREIBER, 2012. Petri nets in VANTED : Simulation of barley seed metabolism. 3rd International Workshop on Biological Processes & Petri Nets. Hamburg, 25. Juni 2012 - 25. Juni 2012. In: HEINER, Monika, ed., Ralf HOFESTÄDT, ed.. Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets - BioPPN 2012. Hamburg: Bibliothek des Fachbereichs Informatik, 2012, pp. 20-28. CEUR Workshop Proceedings. 852
BibTex
@inproceedings{Hartmann2012Petri-38726,
  year={2012},
  title={Petri nets in VANTED : Simulation of barley seed metabolism},
  url={http://ceur-ws.org/Vol-852/},
  number={852},
  publisher={Bibliothek des Fachbereichs Informatik},
  address={Hamburg},
  series={CEUR Workshop Proceedings},
  booktitle={Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets - BioPPN 2012},
  pages={20--28},
  editor={Heiner, Monika and Hofestädt, Ralf},
  author={Hartmann, Anja and Rohn, Hendrik and Pucknat, Kevin and Schreiber, Falk}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/38726">
    <dc:creator>Hartmann, Anja</dc:creator>
    <dcterms:issued>2012</dcterms:issued>
    <dcterms:abstract xml:lang="eng">Petri nets are a mathematical language, which provide a unified environment for modeling, simulation, and formal analysis of biological 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 capabilities to be able to investigate dynamic system behavior, and analysis algorithms for calculating intrinsic net properties. Vanted furthermore supports advanced visualization and exploration techniques, which can be used to examine even larger Petri nets in an interactive manner. We use this framework for the simulation-based analysis of a large stoichiometric model of central barley seed metabolism and discuss problems and obstacles during this process.</dcterms:abstract>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Hartmann, Anja</dc:contributor>
    <dc:contributor>Pucknat, Kevin</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:language>eng</dc:language>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-05-04T08:39:46Z</dcterms:available>
    <dcterms:title>Petri nets in VANTED : Simulation of barley seed metabolism</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-05-04T08:39:46Z</dc:date>
    <dc:creator>Rohn, Hendrik</dc:creator>
    <dc:creator>Schreiber, Falk</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/38726"/>
    <dc:creator>Pucknat, Kevin</dc:creator>
    <dc:contributor>Schreiber, Falk</dc:contributor>
    <dc:contributor>Rohn, Hendrik</dc:contributor>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.
http://ceur-ws.org/Vol-852/

Prüfdatum der URL

2017-05-04

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Diese Publikation teilen