@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} }