Petri nets in VANTED : Simulation of barley seed metabolism

Kurzanzeige
dc.contributor.authorHartmann, Anja
dc.contributor.authorRohn, Hendrik
dc.contributor.authorPucknat, Kevin
dc.contributor.authorSchreiber, Falk
dc.date.accessioned2017-05-04T08:39:46Z
dc.date.available2017-05-04T08:39:46Z
dc.date.issued2012eng
dc.description.abstractPetri 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.eng
dc.description.versionpublishedeng
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/38726
dc.language.isoengeng
dc.subject.ddc004eng
dc.titlePetri nets in VANTED : Simulation of barley seed metabolismeng
dc.typeINPROCEEDINGSeng
dspace.entity.typePublication
kops.citation.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}
}
kops.citation.iso690HARTMANN, 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. 852deu
kops.citation.iso690HARTMANN, 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, Jun 25, 2012 - Jun 25, 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. 852eng
kops.citation.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>
kops.conferencefield3rd International Workshop on Biological Processes & Petri Nets, 25. Juni 2012 - 25. Juni 2012, Hamburgdeu
kops.date.conferenceEnd2012-06-25eng
kops.date.conferenceStart2012-06-25eng
kops.flag.knbibliographyfalse
kops.location.conferenceHamburgeng
kops.sourcefieldHEINER, Monika, ed., Ralf HOFESTÄDT, ed.. <i>Proceedings of the 3rd International Workshop on Biological Processes & Petri Nets - BioPPN 2012</i>. Hamburg: Bibliothek des Fachbereichs Informatik, 2012, pp. 20-28. CEUR Workshop Proceedings. 852deu
kops.sourcefield.plainHEINER, 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. 852deu
kops.sourcefield.plainHEINER, 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. 852eng
kops.title.conference3rd International Workshop on Biological Processes & Petri Netseng
kops.urlhttp://ceur-ws.org/Vol-852/eng
kops.urlDate2017-05-04eng
relation.isAuthorOfPublication4a62a6c5-bf37-4efa-a633-4229ff88ed2e
relation.isAuthorOfPublication.latestForDiscovery4a62a6c5-bf37-4efa-a633-4229ff88ed2e
source.bibliographicInfo.fromPage20eng
source.bibliographicInfo.seriesNumber852eng
source.bibliographicInfo.toPage28eng
source.contributor.editorHeiner, Monika
source.contributor.editorHofestädt, Ralf
source.publisherBibliothek des Fachbereichs Informatikeng
source.publisher.locationHamburgeng
source.relation.ispartofseriesCEUR Workshop Proceedingseng
source.titleProceedings of the 3rd International Workshop on Biological Processes & Petri Nets - BioPPN 2012eng

Dateien

Sammlungen

Informatik und Informationswissenschaft: Publikationen