@incollection{IsmailHerajyHeiner, author = {Ismail, Amr and Herajy, Mostafa and Heiner, Monika}, title = {A Graphical Approach for the Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets}, series = {Automated Reasoning for Systems Biology and Medicine}, booktitle = {Automated Reasoning for Systems Biology and Medicine}, editor = {Li{\`o}, Pietro and Zuliani, Paolo}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-17296-1}, doi = {10.1007/978-3-030-17297-8_13}, pages = {349 -- 367}, language = {en} } @incollection{BlaetkeRohrHeineretal., author = {Bl{\"a}tke, Mary-Ann and Rohr, Christian and Heiner, Monika and Marwan, Wolfgang}, title = {A Petri Net based Framework for Biomodel Engineering}, series = {Large-Scale Networks in Engineering and Life Sciences}, booktitle = {Large-Scale Networks in Engineering and Life Sciences}, editor = {Benner, Peter}, publisher = {Springer}, address = {Heidelberg}, isbn = {978-3-319-08436-7}, doi = {10.1007/978-3-319-08437-4_6}, pages = {317 -- 366}, language = {en} } @incollection{HeinerBreitlingDonaldsonetal., author = {Heiner, Monika and Breitling, Rainer and Donaldson, Robin and Gilbert, David}, title = {Biomodel Engineering - From Structure to Behavior}, series = {Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies}, booktitle = {Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-11711-4}, doi = {10.1007/978-3-642-11712-1}, pages = {1 -- 12}, language = {en} } @incollection{BlaetkeHeinerMarwan, author = {Bl{\"a}tke, Mary-Ann and Heiner, Monika and Marwan, Wolfgang}, title = {BioModel Engineering with Petri Nets}, series = {Algebraic and Discrete Mathematical Methods for Modern Biology}, booktitle = {Algebraic and Discrete Mathematical Methods for Modern Biology}, editor = {Robeva, Raina S.}, publisher = {Elsevier}, address = {Amsterdam [u.a.]}, isbn = {978-0-12-801213-0}, pages = {141 -- 193}, language = {en} } @incollection{HeinerGilbertBreitlingetal., author = {Heiner, Monika and Gilbert, David and Breitling, Rainer and Orton, Richard}, title = {Computation modelling of kinase signalling cascades}, language = {en} } @incollection{HeinerLehrackGilbertetal., author = {Heiner, Monika and Lehrack, Sebastian and Gilbert, David and Marwan, Wolfgang}, title = {Extended Stochastic Petri Nets for Model-based Design of Wetlab Experiments}, series = {Transactions on Computational Systems Biology XI}, booktitle = {Transactions on Computational Systems Biology XI}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-04185-3}, pages = {138 -- 163}, language = {en} } @incollection{Heiner, author = {Heiner, Monika}, title = {From Petri Nets to Partial Differential Equations: A Petri Net Perspective on Systems and Synthetic Biology}, series = {DNA computing and molecular programming, 22nd international conference, DNA 22, Munich, Germany, September 4-8, 2016, proceedings}, booktitle = {DNA computing and molecular programming, 22nd international conference, DNA 22, Munich, Germany, September 4-8, 2016, proceedings}, editor = {Rondelez, Yannick and Woods, Damien}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-43993-8}, language = {en} } @incollection{HeinerGilbert, author = {Heiner, Monika and Gilbert, David}, title = {How Might Petri Nets Enhance Your Systems Biology Toolkit}, language = {en} } @incollection{HerajySchwarickHeiner, author = {Herajy, Mostafa and Schwarick, Martin and Heiner, Monika}, title = {Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle}, series = {Transactions on petri nets and other models of concurrency VIII}, booktitle = {Transactions on petri nets and other models of concurrency VIII}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-40464-1}, doi = {10.1007/978-3-642-40465-8_7}, pages = {123 -- 141}, language = {en} } @incollection{HeinerRohrSchwaricketal., author = {Heiner, Monika and Rohr, Christian and Schwarick, Martin and Tovchigrechko, Alexey A.}, title = {MARCIE's secrets of efficient model checking}, series = {Transactions on petri nets and other models of concurrency XI}, booktitle = {Transactions on petri nets and other models of concurrency XI}, editor = {Koutny, Maciej and Desel, J{\"o}rg and Kleijn, Jetty}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-662-53400-7}, doi = {10.1007/978-3-662-53401-4_14}, pages = {286 -- 296}, language = {en} } @incollection{HeinerKoch, author = {Heiner, Monika and Koch, Ina}, title = {Petri Nets}, language = {en} } @incollection{Heiner, author = {Heiner, Monika}, title = {Petri Nets for BioModel Engineering: A Personal Perspective}, series = {Carl Adam Petri: Ideas, Personality, Impact}, booktitle = {Carl Adam Petri: Ideas, Personality, Impact}, editor = {Reisig, Wolfgang and Rozenberg, Grzegorz}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-96153-8}, doi = {10.1007/978-3-319-96154-5_25}, pages = {205 -- 216}, language = {en} } @incollection{LiuHeiner, author = {Liu, Fei and Heiner, Monika}, title = {Petri Nets for Modeling and Analyzing Biochemical Reaction Networks}, series = {Approaches in Integrative Bioinformatics}, booktitle = {Approaches in Integrative Bioinformatics}, editor = {Chen, Ming and Hofest{\"a}dt, Ralf}, publisher = {Springer}, address = {Heidelberg}, isbn = {978-3-642-41280-6}, doi = {10.1007/978-3-642-41281-3_9}, pages = {245 -- 272}, language = {en} } @incollection{HeinerGilbertDonaldson, author = {Heiner, Monika and Gilbert, David and Donaldson, Robin}, title = {Petri Nets for Systems and Synthetic Biology}, language = {en} } @incollection{HeinerDonaldsonGilbert, author = {Heiner, Monika and Donaldson, Robin and Gilbert, David}, title = {Petri Nets for Systems Biology}, series = {Symbolic systems biology}, booktitle = {Symbolic systems biology}, editor = {Iyengar, M. Sriram}, publisher = {Jones and Bartlett Learning}, address = {Sudbury, Mass. [u.a.]}, isbn = {978-0-7637-5370-2}, language = {en} } @incollection{HeinerMarwanRohr, author = {Heiner, Monika and Marwan, Wolfgang and Rohr, Christian}, title = {Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks}, language = {en} } @incollection{Rohr, author = {Rohr, Christian}, title = {Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators}, series = {Transactions on petri nets and other models of concurrency VIII}, booktitle = {Transactions on petri nets and other models of concurrency VIII}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-40464-1}, doi = {10.1007/978-3-642-40465-8_8}, pages = {142 -- 158}, language = {en} } @incollection{Heiner, author = {Heiner, Monika}, title = {Understanding Network Behavior by Structured Representations of Transition Invariants}, language = {en} } @incollection{Heiner, author = {Heiner, Monika}, title = {Understanding Network Behaviour by Structured Representations of Transition Invariants - A Petri Net Perspective on Systems and Synthetic Biology}, language = {en} }