{"id":{"repo_id":"bielefeld","oai_identifier":"oai:pub.uni-bielefeld.de:2985333"},"canonical_url":"https://search.dev.ndltd.org/etd/bielefeld/oai:pub.uni-bielefeld.de:2985333","repository":{"repo_id":"bielefeld","name":"Universität Bielefeld","base_url":"https://pub.uni-bielefeld.de/oai"},"display":{"title":"On Quantitative Modeling and Simulation of Biological Systems: An Open-Source Approach Using Biological Networks and Rule-Based Transformation to Hybrid Functional Petri Nets","abstract":"Petri nets have been widely used for decades as a method to model parallel processes, particularly in the field of systems biology. Over time, the basic formalism of Petri nets has been extended with various concepts and hybrid functional Petri nets (HFPN) are suitable to represent quantitative systems as occurring in systems biology applications cases. For the temporal analysis of a model, the generation of comprehensible simulation results strictly complying with the underlying definitions of the formalism, is essential. <br /> Another commonly used representation of biological systems are biological networks. However, they are attributed graphs without further standardization that would allow for simulation. The values of their attributes often reflect user-specific semantics. For the purpose of a meaningful simulation, universal biological networks must be transformed into a representation that allows simulation, such as Petri nets, while also considering user-specific semantics. <br /> This thesis identifies the requirements for modeling and simulating HFPN and evaluates existing solutions accordingly. As a result, a novel open-source modeling and simulation environment VANESA 2.0, utilizing OpenModelica and PNlib, is presented. It offers reliable simulation results and incorporates a unique combination of features, with a particular emphasis on handling kinetics and their parameters, improving scalability for large-scale networks, and providing advanced visualizations of simulation results. <br /> Moreover, this thesis addresses the challenges associated with the meaningful transformation of biological networks into Petri nets and assesses existing approaches that automate this process. In response, a customizable rule-based transformation approach, based on exact pattern matching of attributed subgraphs, is developed and presented. <br /> To demonstrate the feasibility of the above proposed concepts, the open-source project VANESA is extended by the contributions of this thesis and is available as VANESA 2.0 at [https://github.com/cbrinkrolf/VANESA](https://github.com/cbrinkrolf/VANESA).","abstract_html":"Petri nets have been widely used for decades as a method to model parallel processes, particularly in the field of systems biology. Over time, the basic formalism of Petri nets has been extended with various concepts and hybrid functional Petri nets (HFPN) are suitable to represent quantitative systems as occurring in systems biology applications cases. For the temporal analysis of a model, the generation of comprehensible simulation results strictly complying with the underlying definitions of the formalism, is essential. &lt;br /&gt; Another commonly used representation of biological systems are biological networks. However, they are attributed graphs without further standardization that would allow for simulation. The values of their attributes often reflect user-specific semantics. For the purpose of a meaningful simulation, universal biological networks must be transformed into a representation that allows simulation, such as Petri nets, while also considering user-specific semantics. &lt;br /&gt; This thesis identifies the requirements for modeling and simulating HFPN and evaluates existing solutions accordingly. As a result, a novel open-source modeling and simulation environment VANESA 2.0, utilizing OpenModelica and PNlib, is presented. It offers reliable simulation results and incorporates a unique combination of features, with a particular emphasis on handling kinetics and their parameters, improving scalability for large-scale networks, and providing advanced visualizations of simulation results. &lt;br /&gt; Moreover, this thesis addresses the challenges associated with the meaningful transformation of biological networks into Petri nets and assesses existing approaches that automate this process. In response, a customizable rule-based transformation approach, based on exact pattern matching of attributed subgraphs, is developed and presented. &lt;br /&gt; To demonstrate the feasibility of the above proposed concepts, the open-source project VANESA is extended by the contributions of this thesis and is available as VANESA 2.0 at [https://github.com/cbrinkrolf/VANESA](https://github.com/cbrinkrolf/VANESA).","abstract_has_math":false,"creators":["Brinkrolf, Christoph"],"institution":"Universität Bielefeld","degree_name":null,"degree_level":"thesis.doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-12-14","date_published":"2023-12-14","updated_at":"2026-07-27T18:50:01Z","subjects":[],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://pub.uni-bielefeld.de/record/2985333","outbound_label":"Repository record","outbound_source":"source_url"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Brinkrolf, Christoph"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["Universitätsbibliothek Bielefeld"]},{"key":"dc:type","label":"Dc Type","values":["doctoralThesis"]},{"key":"thesis:degree_level","label":"Degree Level","values":["thesis.doctoral"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Universität Bielefeld"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Petri nets have been widely used for decades as a method to model parallel processes, particularly in the field of systems biology. Over time, the basic formalism of Petri nets has been extended with various concepts and hybrid functional Petri nets (HFPN) are suitable to represent quantitative systems as occurring in systems biology applications cases. For the temporal analysis of a model, the generation of comprehensible simulation results strictly complying with the underlying definitions of the formalism, is essential. <br /> Another commonly used representation of biological systems are biological networks. However, they are attributed graphs without further standardization that would allow for simulation. The values of their attributes often reflect user-specific semantics. For the purpose of a meaningful simulation, universal biological networks must be transformed into a representation that allows simulation, such as Petri nets, while also considering user-specific semantics. <br /> This thesis identifies the requirements for modeling and simulating HFPN and evaluates existing solutions accordingly. As a result, a novel open-source modeling and simulation environment VANESA 2.0, utilizing OpenModelica and PNlib, is presented. It offers reliable simulation results and incorporates a unique combination of features, with a particular emphasis on handling kinetics and their parameters, improving scalability for large-scale networks, and providing advanced visualizations of simulation results. <br /> Moreover, this thesis addresses the challenges associated with the meaningful transformation of biological networks into Petri nets and assesses existing approaches that automate this process. In response, a customizable rule-based transformation approach, based on exact pattern matching of attributed subgraphs, is developed and presented. <br /> To demonstrate the feasibility of the above proposed concepts, the open-source project VANESA is extended by the contributions of this thesis and is available as VANESA 2.0 at [https://github.com/cbrinkrolf/VANESA](https://github.com/cbrinkrolf/VANESA)."]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["On Quantitative Modeling and Simulation of Biological Systems: An Open-Source Approach Using Biological Networks and Rule-Based Transformation to Hybrid Functional Petri Nets"]}]}],"canonical_facts":{"dc:creator":["Brinkrolf, Christoph"],"dc:description.abstract":["Petri nets have been widely used for decades as a method to model parallel processes, particularly in the field of systems biology. Over time, the basic formalism of Petri nets has been extended with various concepts and hybrid functional Petri nets (HFPN) are suitable to represent quantitative systems as occurring in systems biology applications cases. For the temporal analysis of a model, the generation of comprehensible simulation results strictly complying with the underlying definitions of the formalism, is essential. <br /> Another commonly used representation of biological systems are biological networks. However, they are attributed graphs without further standardization that would allow for simulation. The values of their attributes often reflect user-specific semantics. For the purpose of a meaningful simulation, universal biological networks must be transformed into a representation that allows simulation, such as Petri nets, while also considering user-specific semantics. <br /> This thesis identifies the requirements for modeling and simulating HFPN and evaluates existing solutions accordingly. As a result, a novel open-source modeling and simulation environment VANESA 2.0, utilizing OpenModelica and PNlib, is presented. It offers reliable simulation results and incorporates a unique combination of features, with a particular emphasis on handling kinetics and their parameters, improving scalability for large-scale networks, and providing advanced visualizations of simulation results. <br /> Moreover, this thesis addresses the challenges associated with the meaningful transformation of biological networks into Petri nets and assesses existing approaches that automate this process. In response, a customizable rule-based transformation approach, based on exact pattern matching of attributed subgraphs, is developed and presented. <br /> To demonstrate the feasibility of the above proposed concepts, the open-source project VANESA is extended by the contributions of this thesis and is available as VANESA 2.0 at [https://github.com/cbrinkrolf/VANESA](https://github.com/cbrinkrolf/VANESA)."],"dc:format.medium":["application/pdf"],"dc:publisher":["Universitätsbibliothek Bielefeld"],"dc:title":["On Quantitative Modeling and Simulation of Biological Systems: An Open-Source Approach Using Biological Networks and Rule-Based Transformation to Hybrid Functional Petri Nets"],"dc:type":["doctoralThesis"],"thesis:degree_level":["thesis.doctoral"],"thesis:institution_name":["Universität Bielefeld"]},"updated_at":"2026-07-27T18:50:01Z"}