BibTeX records: Monika Heiner

download as .bib file

@article{DBLP:journals/bmcbi/ColomboDGHMP18,
  author    = {Riccardo Colombo and
               Chiara Damiani and
               David R. Gilbert and
               Monika Heiner and
               Giancarlo Mauri and
               Dario Pescini},
  title     = {Emerging ensembles of kinetic parameters to characterize observed
               metabolic phenotypes},
  journal   = {{BMC} Bioinformatics},
  volume    = {19-S},
  number    = {7},
  pages     = {45--59},
  year      = {2018},
  url       = {https://doi.org/10.1186/s12859-018-2181-7},
  doi       = {10.1186/s12859-018-2181-7},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/ColomboDGHMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/LiuCHS18,
  author    = {Fei Liu and
               Siyuan Chen and
               Monika Heiner and
               Hengjie Song},
  title     = {Modeling biological systems with uncertain kinetic data using fuzzy
               continuous Petri nets},
  journal   = {{BMC} Systems Biology},
  volume    = {12},
  number    = {4},
  pages     = {63--74},
  year      = {2018},
  url       = {https://doi.org/10.1186/s12918-018-0568-8},
  doi       = {10.1186/s12918-018-0568-8},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcsb/LiuCHS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/HerajyLRH18,
  author    = {Mostafa Herajy and
               Fei Liu and
               Christian Rohr and
               Monika Heiner},
  title     = {Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale
               biological networks},
  journal   = {Computational Biology and Chemistry},
  volume    = {76},
  pages     = {87--100},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.compbiolchem.2018.05.023},
  doi       = {10.1016/j.compbiolchem.2018.05.023},
  timestamp = {Mon, 24 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/candc/HerajyLRH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BaldanBBCHS18,
  author    = {Paolo Baldan and
               Martina Bocci and
               Daniele Brigolin and
               Nicoletta Cocco and
               Monika Heiner and
               Marta Simeoni},
  title     = {Petri Nets for Modelling and Analysing Trophic Networks},
  journal   = {Fundam. Inform.},
  volume    = {160},
  number    = {1-2},
  pages     = {27--52},
  year      = {2018},
  url       = {https://doi.org/10.3233/FI-2018-1673},
  doi       = {10.3233/FI-2018-1673},
  timestamp = {Mon, 30 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/BaldanBBCHS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HerajyH18,
  author    = {Mostafa Herajy and
               Monika Heiner},
  title     = {Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the
               Appropriate Interpretation},
  journal   = {Fundam. Inform.},
  volume    = {160},
  number    = {1-2},
  pages     = {53--80},
  year      = {2018},
  url       = {https://doi.org/10.3233/FI-2018-1674},
  doi       = {10.3233/FI-2018-1674},
  timestamp = {Mon, 30 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/HerajyH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GambinH18,
  author    = {Anna Gambin and
               Monika Heiner},
  title     = {Preface},
  journal   = {Fundam. Inform.},
  volume    = {160},
  number    = {1-2},
  pages     = {v--vii},
  year      = {2018},
  url       = {https://doi.org/10.3233/FI-2018-1671},
  doi       = {10.3233/FI-2018-1671},
  timestamp = {Mon, 30 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/GambinH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/GilbertHR18,
  author    = {David R. Gilbert and
               Monika Heiner and
               Christian Rohr},
  title     = {Petri-net-based 2D design of {DNA} walker circuits},
  journal   = {Natural Computing},
  volume    = {17},
  number    = {1},
  pages     = {161--182},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11047-018-9671-4},
  doi       = {10.1007/s11047-018-9671-4},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nc/GilbertHR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SelfGH18,
  author    = {Timothy Self and
               David R. Gilbert and
               Monika Heiner},
  title     = {Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome
               Metabolic Models},
  booktitle = {Computational Methods in Systems Biology - 16th International Conference,
               {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  pages     = {39--58},
  year      = {2018},
  crossref  = {DBLP:conf/cmsb/2018},
  url       = {https://doi.org/10.1007/978-3-319-99429-1\_3},
  doi       = {10.1007/978-3-319-99429-1\_3},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/SelfGH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/HerajyH18,
  author    = {Mostafa Herajy and
               Monika Heiner},
  title     = {An Improved simulation of Hybrid biological Models with Many stochastic
               Events and quasi-Disjoint Subnets},
  booktitle = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
               December 9-12, 2018},
  pages     = {1346--1357},
  year      = {2018},
  crossref  = {DBLP:conf/wsc/2018},
  url       = {https://doi.org/10.1109/WSC.2018.8632514},
  doi       = {10.1109/WSC.2018.8632514},
  timestamp = {Thu, 28 Mar 2019 15:25:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/HerajyH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/HerajyLRH17,
  author    = {Mostafa Herajy and
               Fei Liu and
               Christian Rohr and
               Monika Heiner},
  title     = {Snoopy's hybrid simulator: a tool to construct and simulate hybrid
               biological models},
  journal   = {{BMC} Systems Biology},
  volume    = {11},
  number    = {1},
  pages     = {71:1--71:16},
  year      = {2017},
  url       = {https://doi.org/10.1186/s12918-017-0449-6},
  doi       = {10.1186/s12918-017-0449-6},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcsb/HerajyLRH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/0006HY16,
  author    = {Fei Liu and
               Monika Heiner and
               Ming Yang},
  title     = {Representing network reconstruction solutions with colored Petri nets},
  journal   = {Neurocomputing},
  volume    = {174},
  pages     = {483--493},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.neucom.2015.04.112},
  doi       = {10.1016/j.neucom.2015.04.112},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijon/0006HY16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/SomekhPEKFDSHKE16,
  author    = {Judith Somekh and
               Mor Peleg and
               Alal Eran and
               Itay Koren and
               Ariel Feiglin and
               Alik Demishtein and
               Ruth Shiloh and
               Monika Heiner and
               Sek Won Kong and
               Zvulun Elazar and
               Isaac S. Kohane},
  title     = {A model-driven methodology for exploring complex disease comorbidities
               applied to autism spectrum disorder and inflammatory bowel disease},
  journal   = {Journal of Biomedical Informatics},
  volume    = {63},
  pages     = {366--378},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jbi.2016.08.008},
  doi       = {10.1016/j.jbi.2016.08.008},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jbi/SomekhPEKFDSHKE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/BertensKHHKV16,
  author    = {Laura M. F. Bertens and
               Jetty Kleijn and
               Sander C. Hille and
               Monika Heiner and
               Maciej Koutny and
               Fons J. Verbeek},
  title     = {Modeling biological gradient formation: combining partial differential
               equations and Petri nets},
  journal   = {Natural Computing},
  volume    = {15},
  number    = {4},
  pages     = {665--675},
  year      = {2016},
  url       = {https://doi.org/10.1007/s11047-015-9531-4},
  doi       = {10.1007/s11047-015-9531-4},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nc/BertensKHHKV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeinerRST16,
  author    = {Monika Heiner and
               Christian Rohr and
               Martin Schwarick and
               Alexey A. Tovchigrechko},
  title     = {MARCIE's Secrets of Efficient Model Checking},
  journal   = {T. Petri Nets and Other Models of Concurrency},
  volume    = {11},
  pages     = {286--296},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_14},
  doi       = {10.1007/978-3-662-53401-4\_14},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/HeinerRST16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/HerajyH16,
  author    = {Mostafa Herajy and
               Monika Heiner},
  title     = {Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint
               Deterministic and Stochastic Subnets},
  booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
               France, October 20-21, 2016, Proceedings},
  pages     = {20--38},
  year      = {2016},
  crossref  = {DBLP:conf/hsb/2016},
  url       = {https://doi.org/10.1007/978-3-319-47151-8\_2},
  doi       = {10.1007/978-3-319-47151-8\_2},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/HerajyH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GilbertH15,
  author    = {David R. Gilbert and
               Monika Heiner},
  title     = {Advances in Computational Methods in Systems Biology},
  journal   = {Theor. Comput. Sci.},
  volume    = {599},
  pages     = {2--3},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.08.013},
  doi       = {10.1016/j.tcs.2015.08.013},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GilbertH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ParvuGHLSS15,
  author    = {Ovidiu Parvu and
               David R. Gilbert and
               Monika Heiner and
               Fei Liu and
               Nigel J. Saunders and
               Simon Shaw},
  title     = {Spatial-Temporal Modelling and Analysis of Bacterial Colonies with
               Phase Variable Genes},
  journal   = {{ACM} Trans. Model. Comput. Simul.},
  volume    = {25},
  number    = {2},
  pages     = {13:1--13:25},
  year      = {2015},
  url       = {https://doi.org/10.1145/2742546},
  doi       = {10.1145/2742546},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tomacs/ParvuGHLSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerSW15,
  author    = {Monika Heiner and
               Martin Schwarick and
               Jan{-}Thierry Wegener},
  title     = {Charlie - An Extensible Petri Net Analysis Tool},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
               Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
               Proceedings},
  pages     = {200--211},
  year      = {2015},
  crossref  = {DBLP:conf/apn/2015},
  url       = {https://doi.org/10.1007/978-3-319-19488-2\_10},
  doi       = {10.1007/978-3-319-19488-2\_10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HeinerSW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2015bioppn,
  editor    = {Monika Heiner and
               Annegret Katrin Wagler},
  title     = {Proceedings of the 6th International Workshop on Biological Processes
               {\&} Petri Nets co-located with 36th International Conference
               on Application and Theory of Petri Nets and Concurreny {(PETRI} {NETS}
               2015), Brussels, Belgium, June 22, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1373},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1373},
  urn       = {urn:nbn:de:0074-1373-4},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2015bioppn},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/LiuBHY14,
  author    = {Fei Liu and
               Mary Ann Bl{\"{a}}tke and
               Monika Heiner and
               Ming Yang},
  title     = {Modelling and simulating reaction-diffusion systems using coloured
               Petri nets},
  journal   = {Comp. in Bio. and Med.},
  volume    = {53},
  pages     = {297--308},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.compbiomed.2014.07.004},
  doi       = {10.1016/j.compbiomed.2014.07.004},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cbm/LiuBHY14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HerajyH14,
  author    = {Mostafa Herajy and
               Monika Heiner},
  title     = {Petri Net-Based Collaborative Simulation and Steering of Biochemical
               Reaction Networks},
  journal   = {Fundam. Inform.},
  volume    = {129},
  number    = {1-2},
  pages     = {49--67},
  year      = {2014},
  url       = {https://doi.org/10.3233/FI-2014-960},
  doi       = {10.3233/FI-2014-960},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/HerajyH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HerajyH14,
  author    = {Mostafa Herajy and
               Monika Heiner},
  title     = {A Steering Server for Collaborative Simulation of Quantitative Petri
               Nets},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
               Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
               Proceedings},
  pages     = {374--384},
  year      = {2014},
  crossref  = {DBLP:conf/apn/2014},
  url       = {https://doi.org/10.1007/978-3-319-07734-5\_21},
  doi       = {10.1007/978-3-319-07734-5\_21},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HerajyH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/0006H14,
  author    = {Fei Liu and
               Monika Heiner},
  title     = {Petri Nets for Modeling and Analyzing Biochemical Reaction Networks},
  booktitle = {Approaches in Integrative Bioinformatics - Towards the Virtual Cell},
  pages     = {245--272},
  year      = {2014},
  crossref  = {DBLP:books/sp/2014CH},
  url       = {https://doi.org/10.1007/978-3-642-41281-3\_9},
  doi       = {10.1007/978-3-642-41281-3\_9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/14/0006H14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014bioppn,
  editor    = {Monika Heiner},
  title     = {Proceedings of the 5th International Workshop on Biological Processes
               {\&} Petri Nets co-located with 35th International Conference
               on Application and Theory of Petri Nets and Concurreny {(PETRI} {NETS}
               2014), Tunis, Tunisia, June 23, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1159},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1159},
  urn       = {urn:nbn:de:0074-1159-5},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014bioppn},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GilbertHTU14,
  author    = {David R. Gilbert and
               Monika Heiner and
               Koichi Takahashi and
               Adelinde M. Uhrmacher},
  title     = {Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar
               14481)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {11},
  pages     = {138--226},
  year      = {2014},
  url       = {https://doi.org/10.4230/DagRep.4.11.138},
  doi       = {10.4230/DagRep.4.11.138},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/GilbertHTU14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/LiuH13,
  author    = {Fei Liu and
               Monika Heiner},
  title     = {Modeling membrane systems using colored stochastic Petri nets},
  journal   = {Natural Computing},
  volume    = {12},
  number    = {4},
  pages     = {617--629},
  year      = {2013},
  url       = {https://doi.org/10.1007/s11047-013-9367-8},
  doi       = {10.1007/s11047-013-9367-8},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nc/LiuH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/GaoGHLMT13,
  author    = {Qian Gao and
               David R. Gilbert and
               Monika Heiner and
               Fei Liu and
               Daniele Maccagnola and
               David Tree},
  title     = {Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila
               Wing},
  journal   = {{IEEE/ACM} Trans. Comput. Biology Bioinform.},
  volume    = {10},
  number    = {2},
  pages     = {337--351},
  year      = {2013},
  url       = {https://doi.org/10.1109/TCBB.2012.101},
  doi       = {10.1109/TCBB.2012.101},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcbb/GaoGHLMT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HerajySH13,
  author    = {Mostafa Herajy and
               Martin Schwarick and
               Monika Heiner},
  title     = {Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {8},
  pages     = {123--141},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_7},
  doi       = {10.1007/978-3-642-40465-8\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/HerajySH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GilbertHLS13,
  author    = {David R. Gilbert and
               Monika Heiner and
               Fei Liu and
               Nigel J. Saunders},
  title     = {Colouring Space - {A} Coloured Framework for Spatial Modelling in
               Systems Biology},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
               Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
  pages     = {230--249},
  year      = {2013},
  crossref  = {DBLP:conf/apn/2013},
  url       = {https://doi.org/10.1007/978-3-642-38697-8\_13},
  doi       = {10.1007/978-3-642-38697-8\_13},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/GilbertHLS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerRS13,
  author    = {Monika Heiner and
               Christian Rohr and
               Martin Schwarick},
  title     = {{MARCIE} - Model Checking and Reachability Analysis Done Efficiently},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
               Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
  pages     = {389--399},
  year      = {2013},
  crossref  = {DBLP:conf/apn/2013},
  url       = {https://doi.org/10.1007/978-3-642-38697-8\_21},
  doi       = {10.1007/978-3-642-38697-8\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HeinerRS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ParvuGHLS13,
  author    = {Ovidiu Parvu and
               David R. Gilbert and
               Monika Heiner and
               Fei Liu and
               Nigel J. Saunders},
  title     = {Modelling and Analysis of Phase Variation in Bacterial Colony Growth},
  booktitle = {Computational Methods in Systems Biology - 11th International Conference,
               {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  pages     = {78--91},
  year      = {2013},
  crossref  = {DBLP:conf/cmsb/2013},
  url       = {https://doi.org/10.1007/978-3-642-40708-6\_7},
  doi       = {10.1007/978-3-642-40708-6\_7},
  timestamp = {Wed, 14 Nov 2018 10:52:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/ParvuGHLS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013bioppn,
  editor    = {Gianfranco Balbo and
               Monika Heiner},
  title     = {Proceedings of the International Workshop on Biological Processes
               {\&} Petri Nets, Milano, Italy, June 24, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {988},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-988},
  urn       = {urn:nbn:de:0074-988-2},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2013bioppn},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerHLRS12,
  author    = {Monika Heiner and
               Mostafa Herajy and
               Fei Liu and
               Christian Rohr and
               Martin Schwarick},
  title     = {Snoopy - {A} Unifying Petri Net Tool},
  booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
               {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
  pages     = {398--407},
  year      = {2012},
  crossref  = {DBLP:conf/apn/2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4\_22},
  doi       = {10.1007/978-3-642-31131-4\_22},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HeinerHLRS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BlatkeHM12,
  author    = {Mary Ann Bl{\"{a}}tke and
               Monika Heiner and
               Wolfgang Marwan},
  title     = {Predicting Phenotype from Genotype through Automatically Composed
               Petri Nets},
  booktitle = {Computational Methods in Systems Biology - 10th International Conference,
               {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  pages     = {87--106},
  year      = {2012},
  crossref  = {DBLP:conf/cmsb/2012},
  url       = {https://doi.org/10.1007/978-3-642-33636-2\_7},
  doi       = {10.1007/978-3-642-33636-2\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/BlatkeHM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BlatkeDHSM12,
  author    = {Mary Ann Bl{\"{a}}tke and
               Anna Dittrich and
               Monika Heiner and
               Fred Schaper and
               Wolfgang Marwan},
  title     = {{JAK-STAT} Signalling as Example for a Database-Supported Modular
               Modelling Concept},
  booktitle = {Computational Methods in Systems Biology - 10th International Conference,
               {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  pages     = {362--365},
  year      = {2012},
  crossref  = {DBLP:conf/cmsb/2012},
  url       = {https://doi.org/10.1007/978-3-642-33636-2\_21},
  doi       = {10.1007/978-3-642-33636-2\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/BlatkeDHSM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/HerajyH12,
  author    = {Mostafa Herajy and
               Monika Heiner},
  title     = {Towards a Computational Steering and Petri Nets Framework for the
               Modelling of Biochemical Reaction Networks},
  booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
               and Programming, Berlin, Germany, September 26-28, 2012},
  pages     = {147--159},
  year      = {2012},
  crossref  = {DBLP:conf/csp/2012},
  url       = {http://ceur-ws.org/Vol-928/0147.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/HerajyH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/LiuHY12,
  author    = {Fei Liu and
               Monika Heiner and
               Ming Yang},
  title     = {An efficient method for unfolding colored Petri nets},
  booktitle = {Winter Simulation Conference, {WSC} '12, Berlin, Germany, December
               9-12, 2012},
  pages     = {295:1--295:12},
  year      = {2012},
  crossref  = {DBLP:conf/wsc/2012},
  url       = {https://doi.org/10.1109/WSC.2012.6465203},
  doi       = {10.1109/WSC.2012.6465203},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/LiuHY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2012,
  editor    = {David R. Gilbert and
               Monika Heiner},
  title     = {Computational Methods in Systems Biology - 10th International Conference,
               {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7605},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33636-2},
  doi       = {10.1007/978-3-642-33636-2},
  isbn      = {978-3-642-33635-5},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Heiner11,
  author    = {Monika Heiner},
  title     = {Preface: Petri nets for Systems and Synthetic Biology},
  journal   = {Natural Computing},
  volume    = {10},
  number    = {2},
  pages     = {633--638},
  year      = {2011},
  url       = {https://doi.org/10.1007/s11047-011-9253-1},
  doi       = {10.1007/s11047-011-9253-1},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nc/Heiner11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Heiner11a,
  author    = {Monika Heiner},
  title     = {Preface: Petri nets for Systems and Synthetic Biology},
  journal   = {Natural Computing},
  volume    = {10},
  number    = {3},
  pages     = {987--992},
  year      = {2011},
  url       = {https://doi.org/10.1007/s11047-011-9263-z},
  doi       = {10.1007/s11047-011-9263-z},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nc/Heiner11a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HeinerU11,
  author    = {Monika Heiner and
               Adelinde M. Uhrmacher},
  title     = {Foundations of formal reconstruction of biochemical networks},
  journal   = {Theor. Comput. Sci.},
  volume    = {412},
  number    = {26},
  pages     = {2798--2799},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.tcs.2011.02.001},
  doi       = {10.1016/j.tcs.2011.02.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/HeinerU11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerG11,
  author    = {Monika Heiner and
               David R. Gilbert},
  title     = {How Might Petri Nets Enhance Your Systems Biology Toolkit},
  booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
               {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  pages     = {17--37},
  year      = {2011},
  crossref  = {DBLP:conf/apn/2011},
  url       = {https://doi.org/10.1007/978-3-642-21834-7\_2},
  doi       = {10.1007/978-3-642-21834-7\_2},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HeinerG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/GaoLGHT11,
  author    = {Qian Gao and
               Fei Liu and
               David R. Gilbert and
               Monika Heiner and
               David Tree},
  title     = {A multiscale approach to modelling planar cell polarity in Drosophila
               wing using hierarchically coloured Petri nets},
  booktitle = {Computational Methods in Systems Biology, 9th International Conference,
               {CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
  pages     = {209--218},
  year      = {2011},
  crossref  = {DBLP:conf/cmsb/2011},
  url       = {https://doi.org/10.1145/2037509.2037538},
  doi       = {10.1145/2037509.2037538},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/GaoLGHT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SchwarickHR11,
  author    = {Martin Schwarick and
               Monika Heiner and
               Christian Rohr},
  title     = {{MARCIE} - Model Checking and Reachability Analysis Done EffiCIEntly},
  booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
               {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  pages     = {91--100},
  year      = {2011},
  crossref  = {DBLP:conf/qest/2011},
  url       = {https://doi.org/10.1109/QEST.2011.19},
  doi       = {10.1109/QEST.2011.19},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qest/SchwarickHR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RohrMH10,
  author    = {Christian Rohr and
               Wolfgang Marwan and
               Monika Heiner},
  title     = {Snoopy - a unifying Petri net framework to investigate biomolecular
               networks},
  journal   = {Bioinformatics},
  volume    = {26},
  number    = {7},
  pages     = {974--975},
  year      = {2010},
  url       = {https://doi.org/10.1093/bioinformatics/btq050},
  doi       = {10.1093/bioinformatics/btq050},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bioinformatics/RohrMH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BreitlingDGH10,
  author    = {Rainer Breitling and
               Robin Donaldson and
               David R. Gilbert and
               Monika Heiner},
  title     = {Biomodel Engineering - From Structure to Behavior},
  journal   = {Trans. Computational Systems Biology},
  volume    = {12},
  pages     = {1--12},
  year      = {2010},
  crossref  = {DBLP:journals/tcsb/2010-12},
  url       = {https://doi.org/10.1007/978-3-642-11712-1\_1},
  doi       = {10.1007/978-3-642-11712-1\_1},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/BreitlingDGH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ChaouiyaH10,
  author    = {Claudine Chaouiya and
               Monika Heiner},
  title     = {Introduction},
  booktitle = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  pages     = {5--6},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010w},
  url       = {http://ceur-ws.org/Vol-827/1\_ClaudineChaouiya\_introduction.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/ChaouiyaH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HeinerMS10,
  author    = {Monika Heiner and
               Cristian Mahulea and
               Manuel Silva Su{\'{a}}rez},
  title     = {On the Importance of the Deadlock Trap Property for Monotonic Liveness},
  booktitle = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  pages     = {23--38},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010w},
  url       = {http://ceur-ws.org/Vol-827/3\_MonikaHeiner\_article.pdf},
  timestamp = {Tue, 06 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/HeinerMS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LiuH10,
  author    = {Fei Liu and
               Monika Heiner},
  title     = {Colored Petri nets to Model and Simulate Biological Systems},
  booktitle = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  pages     = {71--85},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010w},
  url       = {http://ceur-ws.org/Vol-827/6\_FeiLiu\_article.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/LiuH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HeinerRSS10,
  author    = {Monika Heiner and
               Christian Rohr and
               Martin Schwarick and
               Stefan Streif},
  title     = {A comparative study of stochastic analysis techniques},
  booktitle = {Computational Methods in Systems Biology, 8th International Conference,
               {CMSB} 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings},
  pages     = {96--106},
  year      = {2010},
  crossref  = {DBLP:conf/cmsb/2010},
  url       = {https://doi.org/10.1145/1839764.1839776},
  doi       = {10.1145/1839764.1839776},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/HeinerRSS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2010-12,
  editor    = {Corrado Priami and
               Rainer Breitling and
               David R. Gilbert and
               Monika Heiner and
               Adelinde M. Uhrmacher},
  title     = {Transactions on Computational Systems Biology XII, Special Issue on
               Modeling Methodologies},
  series    = {Lecture Notes in Computer Science},
  volume    = {5945},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11712-1},
  doi       = {10.1007/978-3-642-11712-1},
  isbn      = {978-3-642-11711-4},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/2010-12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/HeinerLGM09,
  author    = {Monika Heiner and
               Sebastian Lehrack and
               David R. Gilbert and
               Wolfgang Marwan},
  title     = {Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments},
  journal   = {Trans. Computational Systems Biology},
  volume    = {11},
  pages     = {138--163},
  year      = {2009},
  crossref  = {DBLP:journals/tcsb/2009-11},
  url       = {https://doi.org/10.1007/978-3-642-04186-0\_7},
  doi       = {10.1007/978-3-642-04186-0\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/HeinerLGM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerST09,
  author    = {Monika Heiner and
               Martin Schwarick and
               Alexej Tovchigrechko},
  title     = {{DSSZ-MC} - {A} Tool for Symbolic Analysis of Extended Petri Nets},
  booktitle = {Applications and Theory of Petri Nets, 30th International Conference,
               {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  pages     = {323--332},
  year      = {2009},
  crossref  = {DBLP:conf/apn/2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5\_20},
  doi       = {10.1007/978-3-642-02424-5\_20},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HeinerST09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SchwarickH09,
  author    = {Martin Schwarick and
               Monika Heiner},
  title     = {{CSL} Model Checking of Biochemical Networks with Interval Decision
               Diagrams},
  booktitle = {Computational Methods in Systems Biology, 7th International Conference,
               {CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
  pages     = {296--312},
  year      = {2009},
  crossref  = {DBLP:conf/cmsb/2009},
  url       = {https://doi.org/10.1007/978-3-642-03845-7\_20},
  doi       = {10.1007/978-3-642-03845-7\_20},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/SchwarickH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9091,
  editor    = {Rainer Breitling and
               David Roger Gilbert and
               Monika Heiner and
               Corrado Priami},
  title     = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09091},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09091/},
  timestamp = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2009P9091},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BreitlingGHP09,
  author    = {Rainer Breitling and
               David Roger Gilbert and
               Monika Heiner and
               Corrado Priami},
  title     = {09091 Abstracts Collection - Formal Methods in Molecular Biology},
  booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9091},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2009/1997/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BreitlingGHP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BreitlingGHP09a,
  author    = {Rainer Breitling and
               David Roger Gilbert and
               Monika Heiner and
               Corrado Priami},
  title     = {09091 Executive Summary - Formal Methods in Molecular Biology},
  booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9091},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2009/1996/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BreitlingGHP09a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GilbertBH09,
  author    = {David Roger Gilbert and
               Rainer Breitling and
               Monika Heiner},
  title     = {BioModel Engineering: Its role in Systems Biology and Synthetic Biology},
  booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9091},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2009/1992/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/GilbertBH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/BreitlingGHO08,
  author    = {Rainer Breitling and
               David R. Gilbert and
               Monika Heiner and
               Richard J. Orton},
  title     = {A structured approach for the engineering of biochemical network models,
               illustrated for signalling pathways},
  journal   = {Briefings in Bioinformatics},
  volume    = {9},
  number    = {5},
  pages     = {404--421},
  year      = {2008},
  url       = {https://doi.org/10.1093/bib/bbn026},
  doi       = {10.1093/bib/bbn026},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bib/BreitlingGHO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/Grafahrend-BelauSHSJGSWK08,
  author    = {Eva Grafahrend{-}Belau and
               Falk Schreiber and
               Monika Heiner and
               Andrea Sackmann and
               Bj{\"{o}}rn H. Junker and
               Stefanie Grunwald and
               Astrid Speer and
               Katja Winder and
               Ina Koch},
  title     = {Modularization of biochemical networks based on classification of
               Petri net t-invariants},
  journal   = {{BMC} Bioinformatics},
  volume    = {9},
  year      = {2008},
  url       = {https://doi.org/10.1186/1471-2105-9-90},
  doi       = {10.1186/1471-2105-9-90},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/Grafahrend-BelauSHSJGSWK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10/GilbertHRFGT08,
  author    = {David R. Gilbert and
               Monika Heiner and
               Susan Rosser and
               Rachael Fulton and
               Xu Gu and
               Maciej Trybilo},
  title     = {A Case Study in Model-driven Synthetic Biology},
  booktitle = {Biologically-Inspired Collaborative Computing - {IFIP} 20th World
               Computer Congress, Second {IFIP} {TC} 10 International Conference
               on Biologically-Inspired Collaborative Computing, September 8-9, 2008,
               Milano, Italy},
  pages     = {163--175},
  year      = {2008},
  crossref  = {DBLP:conf/ifip10/2008},
  url       = {https://doi.org/10.1007/978-0-387-09655-1\_15},
  doi       = {10.1007/978-0-387-09655-1\_15},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip10/GilbertHRFGT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/GilbertBHD08,
  author    = {David R. Gilbert and
               Rainer Breitling and
               Monika Heiner and
               Robin Donaldson},
  title     = {An Introduction to BioModel Engineering, Illustrated for Signal Transduction
               Pathways},
  booktitle = {Membrane Computing - 9th International Workshop, {WMC} 2008, Edinburgh,
               UK, July 28-31, 2008, Revised Selected and Invited Papers},
  pages     = {13--28},
  year      = {2008},
  crossref  = {DBLP:conf/membrane/2008},
  url       = {https://doi.org/10.1007/978-3-540-95885-7\_2},
  doi       = {10.1007/978-3-540-95885-7\_2},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/GilbertBHD08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/HeinerGD08,
  author    = {Monika Heiner and
               David R. Gilbert and
               Robin Donaldson},
  title     = {Petri Nets for Systems and Synthetic Biology},
  booktitle = {Formal Methods for Computational Systems Biology, 8th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
               Advanced Lectures},
  pages     = {215--264},
  year      = {2008},
  crossref  = {DBLP:conf/sfm/2008},
  url       = {https://doi.org/10.1007/978-3-540-68894-5\_7},
  doi       = {10.1007/978-3-540-68894-5\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/HeinerGD08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/HeinerRS08,
  author    = {Monika Heiner and
               Ronny Richter and
               Martin Schwarick},
  title     = {Snoopy: a tool to design and animate/simulate graph-based formalisms},
  booktitle = {Proceedings of the 1st International Conference on Simulation Tools
               and Techniques for Communications, Networks and Systems {\&} Workshops,
               SimuTools 2008, Marseille, France, March 3-7, 2008},
  pages     = {15},
  year      = {2008},
  crossref  = {DBLP:conf/simutools/2008},
  url       = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.3098},
  doi       = {10.4108/ICST.SIMUTOOLS2008.3098},
  timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/simutools/HeinerRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2008,
  editor    = {Monika Heiner and
               Adelinde M. Uhrmacher},
  title     = {Computational Methods in Systems Biology, 6th International Conference,
               {CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5307},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88562-7},
  doi       = {10.1007/978-3-540-88562-7},
  isbn      = {978-3-540-88561-0},
  timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/GilbertHL07,
  author    = {David R. Gilbert and
               Monika Heiner and
               Sebastian Lehrack},
  title     = {A Unifying Framework for Modelling and Analysing Biochemical Pathways
               Using Petri Nets},
  booktitle = {Computational Methods in Systems Biology, International Conference,
               {CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
  pages     = {200--216},
  year      = {2007},
  crossref  = {DBLP:conf/cmsb/2007},
  url       = {https://doi.org/10.1007/978-3-540-75140-3\_14},
  doi       = {10.1007/978-3-540-75140-3\_14},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/GilbertHL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/SackmannHK06,
  author    = {Andrea Sackmann and
               Monika Heiner and
               Ina Koch},
  title     = {Application of Petri net based analysis techniques to signal transduction
               pathways},
  journal   = {{BMC} Bioinformatics},
  volume    = {7},
  pages     = {482},
  year      = {2006},
  url       = {https://doi.org/10.1186/1471-2105-7-482},
  doi       = {10.1186/1471-2105-7-482},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/SackmannHK06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GilbertH06,
  author    = {David R. Gilbert and
               Monika Heiner},
  title     = {From Petri Nets to Differential Equations - An Integrative Approach
               for Biochemical Network Analysis},
  booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
               Conference on Applications and Theory of Petri Nets and Other Models
               of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
  pages     = {181--200},
  year      = {2006},
  crossref  = {DBLP:conf/apn/2006},
  url       = {https://doi.org/10.1007/11767589\_11},
  doi       = {10.1007/11767589\_11},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/GilbertH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KochJH05,
  author    = {Ina Koch and
               Bj{\"{o}}rn H. Junker and
               Monika Heiner},
  title     = {Application of Petri net theory for modelling and validation of the
               sucrose breakdown pathway in the potato tuber},
  journal   = {Bioinformatics},
  volume    = {21},
  number    = {7},
  pages     = {1219--1226},
  year      = {2005},
  url       = {https://doi.org/10.1093/bioinformatics/bti145},
  doi       = {10.1093/bioinformatics/bti145},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bioinformatics/KochJH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Popova-ZeugmannHK05,
  author    = {Louchka Popova{-}Zeugmann and
               Monika Heiner and
               Ina Koch},
  title     = {Time Petri Nets for Modelling and Analysis of Biochemical Networks},
  journal   = {Fundam. Inform.},
  volume    = {67},
  number    = {1-3},
  pages     = {149--162},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-12},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/Popova-ZeugmannHK05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isb/KochSH04,
  author    = {Ina Koch and
               Markus Sch{\"{u}}ler and
               Monika Heiner},
  title     = {{STEPP} - Search Tool for Exploration of Petri net Paths: {A} new
               tool for Petri net-based path analysis in biochemical networks},
  journal   = {In Silico Biology},
  volume    = {5},
  number    = {2},
  pages     = {129--137},
  year      = {2004},
  url       = {http://content.iospress.com/articles/in-silico-biology/isb00174},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isb/KochSH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerK04,
  author    = {Monika Heiner and
               Ina Koch},
  title     = {Petri Net Based Model Validation in Systems Biology},
  booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
               {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  pages     = {216--237},
  year      = {2004},
  crossref  = {DBLP:conf/apn/2004},
  url       = {https://doi.org/10.1007/978-3-540-27793-4\_13},
  doi       = {10.1007/978-3-540-27793-4\_13},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/HeinerK04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isb/VossHK03,
  author    = {Klaus Voss and
               Monika Heiner and
               Ina Koch},
  title     = {Steady state analysis of metabolic pathways using Petri nets},
  journal   = {In Silico Biology},
  volume    = {3},
  number    = {3},
  pages     = {367--387},
  year      = {2003},
  url       = {http://content.iospress.com/articles/in-silico-biology/isb00102},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isb/VossHK03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/HeinerKW03,
  author    = {Monika Heiner and
               Ina Koch and
               J{\"{u}}rgen Will},
  title     = {Model Validation of Biological Pathways Using Petri Nets - Demonstrated
               for Apoptosis},
  booktitle = {Computational Methods in Systems Biology, First International Workshop,
               {CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
  pages     = {173},
  year      = {2003},
  crossref  = {DBLP:conf/cmsb/2003},
  url       = {https://doi.org/10.1007/3-540-36481-1\_22},
  doi       = {10.1007/3-540-36481-1\_22},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/HeinerKW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2003,
  editor    = {Hartmut K{\"{o}}nig and
               Monika Heiner and
               Adam Wolisz},
  title     = {Formal Techniques for Networked and Distributed Systems - {FORTE}
               2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
               September 29 - October 2, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2767},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/11965},
  doi       = {10.1007/11965},
  isbn      = {3-540-20175-0},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RottkeHHH02,
  author    = {Thomas Rottke and
               Denis Hatebur and
               Maritta Heisel and
               Monika Heiner},
  title     = {A Problem-Oriented Approach to Common Criteria Certification},
  booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
               {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  pages     = {334--346},
  year      = {2002},
  crossref  = {DBLP:conf/safecomp/2002},
  url       = {https://doi.org/10.1007/3-540-45732-1\_32},
  doi       = {10.1007/3-540-45732-1\_32},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/RottkeHHH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcb/KochSH99,
  author    = {Ina Koch and
               Stefan Schuster and
               Monika Heiner},
  title     = {Simulation and analysis of metabolic networks by time-dependent Petri
               nets},
  booktitle = {German Conference on Bioinformatics},
  pages     = {208--209},
  year      = {1999},
  timestamp = {Fri, 04 Feb 2005 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gcb/KochSH99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HeinerH99,
  author    = {Monika Heiner and
               Maritta Heisel},
  title     = {Modeling Safety-Critical Systems with {Z} and Petri Nets},
  booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
               SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
  pages     = {361--374},
  year      = {1999},
  crossref  = {DBLP:conf/safecomp/1999},
  url       = {https://doi.org/10.1007/3-540-48249-0\_31},
  doi       = {10.1007/3-540-48249-0\_31},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/HeinerH99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HeinerM98,
  author    = {Monika Heiner and
               Thomas Menzel},
  title     = {Instruction list verification using a Petri net semantics},
  booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
               and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
               USA, October 11-14,1998},
  pages     = {716--721},
  year      = {1998},
  crossref  = {DBLP:conf/smc/1998},
  url       = {https://doi.org/10.1109/ICSMC.1998.725498},
  doi       = {10.1109/ICSMC.1998.725498},
  timestamp = {Fri, 08 Jun 2018 06:26:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smc/HeinerM98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HeinerVW94,
  author    = {Monika Heiner and
               Giorgio Ventre and
               Dietmar Wikarski},
  title     = {A Petri net based methodology to integrate qualitative and quantitative
               analysis},
  journal   = {Information {\&} Software Technology},
  volume    = {36},
  number    = {7},
  pages     = {435--441},
  year      = {1994},
  url       = {https://doi.org/10.1016/0950-5849(94)90066-3},
  doi       = {10.1016/0950-5849(94)90066-3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/HeinerVW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Heiner92,
  author    = {Monika Heiner},
  title     = {A Petri Net View of Process Communication},
  booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
               Magdeburg, 10.-11. Juni 1992},
  pages     = {126--141},
  year      = {1992},
  crossref  = {DBLP:conf/fbt/1992},
  timestamp = {Thu, 27 Mar 2003 09:33:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fbt/Heiner92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Heiner80,
  author    = {Monika Heiner},
  title     = {Ein Beitrag zur Deadlockanalyse auf der Grundlage einer sprachlich
               gef{\"{u}}hrten Programmiermethodik},
  school    = {Dresden University of Technology, Germany},
  year      = {1980},
  url       = {http://d-nb.info/830123806},
  timestamp = {Wed, 05 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Heiner80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2018,
  editor    = {Milan Ceska and
               David Safr{\'{a}}nek},
  title     = {Computational Methods in Systems Biology - 16th International Conference,
               {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11095},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99429-1},
  doi       = {10.1007/978-3-319-99429-1},
  isbn      = {978-3-319-99428-4},
  timestamp = {Mon, 27 Aug 2018 13:53:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsc/2018,
  editor    = {Bj{\"{o}}rn Johansson and
               Sanjay Jain},
  title     = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
               December 9-12, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8625401},
  isbn      = {978-1-5386-6572-5},
  timestamp = {Thu, 28 Mar 2019 15:25:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2016-11,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9930},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53401-4},
  doi       = {10.1007/978-3-662-53401-4},
  isbn      = {978-3-662-53400-7},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2016-11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hsb/2016,
  editor    = {Eugenio Cinquemani and
               Alexandre Donz{\'{e}}},
  title     = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
               France, October 20-21, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9957},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47151-8},
  doi       = {10.1007/978-3-319-47151-8},
  isbn      = {978-3-319-47150-1},
  timestamp = {Fri, 26 May 2017 00:51:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2015,
  editor    = {Raymond R. Devillers and
               Antti Valmari},
  title     = {Application and Theory of Petri Nets and Concurrency - 36th International
               Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9115},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19488-2},
  doi       = {10.1007/978-3-319-19488-2},
  isbn      = {978-3-319-19487-5},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014,
  editor    = {Gianfranco Ciardo and
               Ekkart Kindler},
  title     = {Application and Theory of Petri Nets and Concurrency - 35th International
               Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8489},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07734-5},
  doi       = {10.1007/978-3-319-07734-5},
  isbn      = {978-3-319-07733-8},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/2014CH,
  editor    = {Ming Chen and
               Ralf Hofest{\"{a}}dt},
  title     = {Approaches in Integrative Bioinformatics - Towards the Virtual Cell},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-41281-3},
  doi       = {10.1007/978-3-642-41281-3},
  isbn      = {978-3-642-41280-6},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/2014CH},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-8,
  editor    = {Maciej Koutny and
               Wil M. P. van der Aalst and
               Alex Yakovlev},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8100},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8},
  doi       = {10.1007/978-3-642-40465-8},
  isbn      = {978-3-642-40464-1},
  timestamp = {Thu, 18 May 2017 09:51:21 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/topnoc/2013-8},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013,
  editor    = {Jos{\'{e}} Manuel Colom and
               J{\"{o}}rg Desel},
  title     = {Application and Theory of Petri Nets and Concurrency - 34th International
               Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7927},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38697-8},
  doi       = {10.1007/978-3-642-38697-8},
  isbn      = {978-3-642-38696-1},
  timestamp = {Thu, 01 Jun 2017 18:57:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2013,
  editor    = {Ashutosh Gupta and
               Thomas A. Henzinger},
  title     = {Computational Methods in Systems Biology - 11th International Conference,
               {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8130},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40708-6},
  doi       = {10.1007/978-3-642-40708-6},
  isbn      = {978-3-642-40707-9},
  timestamp = {Wed, 14 Nov 2018 10:52:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2012,
  editor    = {Serge Haddad and
               Lucia Pomello},
  title     = {Application and Theory of Petri Nets - 33rd International Conference,
               {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7347},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31131-4},
  doi       = {10.1007/978-3-642-31131-4},
  isbn      = {978-3-642-31130-7},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2012,
  editor    = {David R. Gilbert and
               Monika Heiner},
  title     = {Computational Methods in Systems Biology - 10th International Conference,
               {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7605},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33636-2},
  doi       = {10.1007/978-3-642-33636-2},
  isbn      = {978-3-642-33635-5},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2012,
  editor    = {Louchka Popova{-}Zeugmann},
  title     = {Proceedings of the 21th International Workshop on Concurrency, Specification
               and Programming, Berlin, Germany, September 26-28, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {928},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-928},
  urn       = {urn:nbn:de:0074-928-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsc/2012,
  editor    = {Oliver Rose and
               Adelinde M. Uhrmacher},
  title     = {Winter Simulation Conference, {WSC} '12, Berlin, Germany, December
               9-12, 2012},
  publisher = {{WSC}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6451330},
  isbn      = {978-1-4673-4779-2},
  timestamp = {Tue, 02 Jun 2015 18:34:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2011,
  editor    = {Lars Michael Kristensen and
               Laure Petrucci},
  title     = {Applications and Theory of Petri Nets - 32nd International Conference,
               {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6709},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21834-7},
  doi       = {10.1007/978-3-642-21834-7},
  isbn      = {978-3-642-21833-0},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2011,
  editor    = {Fran{\c{c}}ois Fages},
  title     = {Computational Methods in Systems Biology, 9th International Conference,
               {CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0817-5},
  timestamp = {Sun, 04 Dec 2011 16:53:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2011,
  title     = {Eighth International Conference on Quantitative Evaluation of Systems,
               {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6041098},
  isbn      = {978-1-4577-0973-9},
  timestamp = {Fri, 08 Aug 2014 15:28:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2010-12,
  editor    = {Corrado Priami and
               Rainer Breitling and
               David R. Gilbert and
               Monika Heiner and
               Adelinde M. Uhrmacher},
  title     = {Transactions on Computational Systems Biology XII, Special Issue on
               Modeling Methodologies},
  series    = {Lecture Notes in Computer Science},
  volume    = {5945},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11712-1},
  doi       = {10.1007/978-3-642-11712-1},
  isbn      = {978-3-642-11711-4},
  timestamp = {Wed, 14 Nov 2018 10:13:52 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/2010-12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010w,
  editor    = {Susanna Donatelli and
               Jetty Kleijn and
               Ricardo Jorge Machado and
               Jo{\~{a}}o M. Fernandes},
  title     = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models of Concurrency
               {(PETRI} {NETS} 2010) and of the 10th International Conference on
               Application of Concurrency to System Design {(ACSD} 2010), Braga,
               Portugal, June, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {827},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-827},
  urn       = {urn:nbn:de:0074-827-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acsd/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2010,
  editor    = {Paola Quaglia},
  title     = {Computational Methods in Systems Biology, 8th International Conference,
               {CMSB} 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://portal.acm.org/citation.cfm?id=1839764},
  isbn      = {978-1-4503-0068-1},
  timestamp = {Fri, 06 Jan 2012 21:01:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/tcsb/2009-11,
  editor    = {Corrado Priami and
               Ralph{-}Johan Back and
               Ion Petre},
  title     = {Transactions on Computational Systems Biology {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5750},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04186-0},
  doi       = {10.1007/978-3-642-04186-0},
  isbn      = {978-3-642-04185-3},
  timestamp = {Sun, 28 May 2017 13:19:07 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/2009-11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2009,
  editor    = {Giuliana Franceschinis and
               Karsten Wolf},
  title     = {Applications and Theory of Petri Nets, 30th International Conference,
               {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5606},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02424-5},
  doi       = {10.1007/978-3-642-02424-5},
  isbn      = {978-3-642-02423-8},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2009,
  editor    = {Pierpaolo Degano and
               Roberto Gorrieri},
  title     = {Computational Methods in Systems Biology, 7th International Conference,
               {CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5688},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03845-7},
  doi       = {10.1007/978-3-642-03845-7},
  isbn      = {978-3-642-03844-0},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10/2008,
  editor    = {Mike Hinchey and
               Anastasia Pagnoni and
               Franz J. Rammig and
               Hartmut Schmeck},
  title     = {Biologically-Inspired Collaborative Computing - {IFIP} 20th World
               Computer Congress, Second {IFIP} {TC} 10 International Conference
               on Biologically-Inspired Collaborative Computing, September 8-9, 2008,
               Milano, Italy},
  series    = {{IFIP}},
  volume    = {268},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-0-387-09655-1},
  doi       = {10.1007/978-0-387-09655-1},
  isbn      = {978-0-387-09654-4},
  timestamp = {Thu, 25 May 2017 00:41:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip10/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/membrane/2008,
  editor    = {David W. Corne and
               Pierluigi Frisco and
               Gheorghe Pu{a}un and
               Grzegorz Rozenberg and
               Arto Salomaa},
  title     = {Membrane Computing - 9th International Workshop, {WMC} 2008, Edinburgh,
               UK, July 28-31, 2008, Revised Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5391},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-540-95885-7},
  doi       = {10.1007/978-3-540-95885-7},
  isbn      = {978-3-540-95884-0},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2008,
  editor    = {Marco Bernardo and
               Pierpaolo Degano and
               Gianluigi Zavattaro},
  title     = {Formal Methods for Computational Systems Biology, 8th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
               Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {5016},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68894-5},
  doi       = {10.1007/978-3-540-68894-5},
  isbn      = {978-3-540-68892-1},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/simutools/2008,
  editor    = {S{\'{a}}ndor Moln{\'{a}}r and
               John R. Heath and
               Olivier Dalle and
               Gabriel A. Wainer},
  title     = {Proceedings of the 1st International Conference on Simulation Tools
               and Techniques for Communications, Networks and Systems {\&} Workshops,
               SimuTools 2008, Marseille, France, March 3-7, 2008},
  publisher = {{ICST/ACM}},
  year      = {2008},
  url       = {http://eudl.eu/proceedings/SIMUTOOLS/2008},
  isbn      = {978-963-9799-20-2},
  timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/simutools/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2007,
  editor    = {Muffy Calder and
               Stephen Gilmore},
  title     = {Computational Methods in Systems Biology, International Conference,
               {CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4695},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75140-3},
  doi       = {10.1007/978-3-540-75140-3},
  isbn      = {978-3-540-75139-7},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2006,
  editor    = {Susanna Donatelli and
               P. S. Thiagarajan},
  title     = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
               Conference on Applications and Theory of Petri Nets and Other Models
               of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4024},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11767589},
  doi       = {10.1007/11767589},
  isbn      = {3-540-34699-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2004,
  editor    = {Jordi Cortadella and
               Wolfgang Reisig},
  title     = {Applications and Theory of Petri Nets 2004, 25th International Conference,
               {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3099},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98283},
  doi       = {10.1007/b98283},
  isbn      = {3-540-22236-7},
  timestamp = {Wed, 14 Nov 2018 10:55:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apn/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2003,
  editor    = {Corrado Priami},
  title     = {Computational Methods in Systems Biology, First International Workshop,
               {CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2602},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36481-1},
  doi       = {10.1007/3-540-36481-1},
  isbn      = {3-540-00605-2},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2002,
  editor    = {Stuart Anderson and
               Sandro Bologna and
               Massimo Felici},
  title     = {Computer Safety, Reliability and Security, 21st International Conference,
               {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2434},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45732-1},
  doi       = {10.1007/3-540-45732-1},
  isbn      = {3-540-44157-3},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/1999,
  editor    = {Massimo Felici and
               Karama Kanoun and
               Alberto Pasquini},
  title     = {Computer Safety, Reliability and Security, 18th International Conference,
               SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1698},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48249-0},
  doi       = {10.1007/3-540-48249-0},
  isbn      = {3-540-66488-2},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smc/1998,
  title     = {Proceedings of the {IEEE} International Conference on Systems, Man
               and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
               USA, October 11-14,1998},
  publisher = {{IEEE}},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5875},
  isbn      = {0-7803-4778-1},
  timestamp = {Fri, 08 Jun 2018 06:26:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/smc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/1992,
  editor    = {Hartmut K{\"{o}}nig},
  title     = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
               Magdeburg, 10.-11. Juni 1992},
  publisher = {K. G. Saur Verlag},
  year      = {1993},
  isbn      = {3-598-22409-5},
  timestamp = {Thu, 27 Mar 2003 09:33:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fbt/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier