@misc{GilbertHeinerRohr, author = {Gilbert, David and Heiner, Monika and Rohr, Christian}, title = {Petri-net-based 2D Design of DNA Walker Circuits}, series = {Natural Computing}, volume = {17}, journal = {Natural Computing}, number = {1}, issn = {1572-9796}, doi = {10.1007/s11047-018-9671-4}, pages = {161 -- 182}, language = {en} } @misc{XuCurtisPowersetal., author = {Xu, Hongwei and Curtis, Tanya Y. and Powers, Stephen J. and Raffan, Sarah and Gao, Runhong and Huang, Jianhua and Heiner, Monika and Gilbert, David and Halford, Nigel G.}, title = {Genomic, biochemical and modelling analyses of asparagine synthetases from wheat}, series = {Frontiers in Plant Science}, volume = {8}, journal = {Frontiers in Plant Science}, issn = {1664-462X}, doi = {10.3389/fpls.2017.02237}, pages = {12}, language = {en} } @inproceedings{Heiner, author = {Heiner, Monika}, title = {Petri Net Based Software Dependability Engineering}, series = {Proceedings, Ninth Symposium on Quality and Reliability in Electronics, 16th - 18th October, 1995, Budapest, Hungary}, booktitle = {Proceedings, Ninth Symposium on Quality and Reliability in Electronics, 16th - 18th October, 1995, Budapest, Hungary}, address = {Budapest}, pages = {181 -- 186}, language = {en} } @inproceedings{LindnerHeinerKobienia, author = {Lindner, G. and Heiner, Monika and Kobienia, Thomas}, title = {Deadlock Detection in a Distributed Implementation of a Visualization System for Medical Measurement Signals}, series = {IEEE International Conference on Systems, Man and Cybernetics, 14-17 Oct. 1996 Beijing, China, vol. 3}, booktitle = {IEEE International Conference on Systems, Man and Cybernetics, 14-17 Oct. 1996 Beijing, China, vol. 3}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {0-7803-3280-6}, doi = {10.1109/ICSMC.1996.565526}, pages = {2299 -- 2304}, language = {en} } @inproceedings{HeinerDeussenSpranger, author = {Heiner, Monika and Deussen, Peter H. and Spranger, Jochen}, title = {A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets}, series = {Proceedings 1st International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '96, Osaka, June 1996)}, booktitle = {Proceedings 1st International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '96, Osaka, June 1996)}, pages = {177 -- 196}, language = {en} } @inproceedings{HeinerDeussen, author = {Heiner, Monika and Deussen, Peter H.}, title = {A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets}, series = {CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996}, booktitle = {CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996}, pages = {121 -- 126}, language = {en} } @inproceedings{HeinerDeussen, author = {Heiner, Monika and Deussen, Peter H.}, title = {Petri Net Based Design and Analysis of Reactive Systems}, series = {International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK}, booktitle = {International Workshop on Discrete Event Systems, WODES '96, 19 - 21 August 1996, John McIntyre Centre, Pollock Halls, University of Edinburgh, UK}, publisher = {IEE}, address = {London}, isbn = {0-85296-664-4}, pages = {308 -- 313}, language = {en} } @inproceedings{PopovaZeugmannHeiner, author = {Popova-Zeugmann, Louchka and Heiner, Monika}, title = {Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets}, series = {EKA '97, Entwurf komplexer Automatisierungssysteme, 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997, Braunschweig}, booktitle = {EKA '97, Entwurf komplexer Automatisierungssysteme, 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997, Braunschweig}, editor = {Schnieder, Eckehard}, publisher = {Inst. f{\"u}r Regelungs- und Automatisierungstechnik}, address = {Braunschweig}, isbn = {3-9803363-4-4}, pages = {162 -- 179}, language = {en} } @inproceedings{KoenigUlrichHeiner, author = {K{\"o}nig, Hartmut and Ulrich, Andreas and Heiner, Monika}, title = {Design for Testability: A Step-wise Approach to Protocol Testing}, series = {Testing of Communicating Systems, IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea}, booktitle = {Testing of Communicating Systems, IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea}, editor = {Kim, Myungchul and Kang, Sungwon and Hong, Keesoo}, publisher = {Springer}, address = {Boston}, isbn = {978-1-4757-6701-8}, doi = {10.1007/978-0-387-35198-8_9}, pages = {125 -- 140}, language = {en} } @inproceedings{HeinerMenzel, author = {Heiner, Monika and Menzel, Thomas}, title = {Modellierung und Analyse von SPS-Anwenderprogrammen mit Petri-Netzen}, series = {EKA '99, 6. Fachtagung, Braunschweig, May 1999}, booktitle = {EKA '99, 6. Fachtagung, Braunschweig, May 1999}, pages = {247 -- 265}, language = {en} } @misc{HeinerDeussenSpranger, author = {Heiner, Monika and Deussen, Peter H. and Spranger, Jochen}, title = {A Case Study in Design and Verification of Manufacturing Systems with Hierarchical Petri Nets}, series = {The International Journal of Advanced Manufacturing Technology}, volume = {15}, journal = {The International Journal of Advanced Manufacturing Technology}, number = {2}, issn = {1433-3015}, pages = {139 -- 152}, language = {en} } @inproceedings{HeinerHeisel, author = {Heiner, Monika and Heisel, Maritta}, title = {Modelling Safety-Critical Systems with Z and Petri Nets}, series = {Computer safety, reliability and security, 18th International Conference, SAFECOMP '99, Toulouse, France, September 27 - 29, 1999, proceedings}, booktitle = {Computer safety, reliability and security, 18th International Conference, SAFECOMP '99, Toulouse, France, September 27 - 29, 1999, proceedings}, editor = {Felici, Massimo}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-66488-2}, doi = {10.1007/3-540-48249-0_31}, pages = {361 -- 374}, language = {en} } @inproceedings{HeinerMenzel, author = {Heiner, Monika and Menzel, Thomas}, title = {Time-related Modelling of PLC Systems with Time-less Petri Nets}, series = {Discrete event systems : analysis and control, proceedings of the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21 - 23, 2000}, booktitle = {Discrete event systems : analysis and control, proceedings of the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21 - 23, 2000}, editor = {Boel, Rene and Stremerch, G. Geert}, publisher = {Kluwer Academic Publishers}, address = {Boston [u.a.]}, isbn = {0-7923-7897-0}, pages = {275 -- 282}, language = {en} } @inproceedings{HeinerPopovaZeugmann, author = {Heiner, Monika and Popova-Zeugmann, Louchka}, title = {On Integration of Qualitative and Quantitative Analysis of Manufacturing Systems Using Petri Nets}, series = {Informatik und Automatisierung im Zeitalter der Informationsgesellschaft, 42. Internationales Wissenschaftliches Kolloquium, 22. bis 25. September 1997, Band 1}, booktitle = {Informatik und Automatisierung im Zeitalter der Informationsgesellschaft, 42. Internationales Wissenschaftliches Kolloquium, 22. bis 25. September 1997, Band 1}, publisher = {Technische Universit{\"a}t}, address = {Ilmenau}, pages = {557 -- 562}, language = {en} } @inproceedings{Heiner, author = {Heiner, Monika}, title = {Verification and Optimization of Control Programs by Petri Nets without State Explosion}, series = {Proceedings 2nd International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '97, Toulouse, June 1997)}, booktitle = {Proceedings 2nd International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '97, Toulouse, June 1997)}, pages = {69 -- 84}, language = {en} } @inproceedings{Heiner, author = {Heiner, Monika}, title = {On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems}, series = {Proceedings, IMACS Symposium on Mathematical Modelling, February 5 - 7, 1997, Technical Univ. Vienna, Austria, 2nd Mathmod Vienna}, booktitle = {Proceedings, IMACS Symposium on Mathematical Modelling, February 5 - 7, 1997, Technical Univ. Vienna, Austria, 2nd Mathmod Vienna}, publisher = {ARGESIM}, address = {Vienna}, isbn = {3-901608-11-7}, pages = {171 -- 176}, language = {en} } @inproceedings{HeinerMenzel, author = {Heiner, Monika and Menzel, Thomas}, title = {A Petri Net Semantics for the PLC Language Instruction List}, series = {Proceedings IEE Workshop on Discrete Event Systems (WODES '98), Cagliari, August 1998}, booktitle = {Proceedings IEE Workshop on Discrete Event Systems (WODES '98), Cagliari, August 1998}, pages = {161 -- 165}, language = {en} } @inproceedings{HeinerMenzel, author = {Heiner, Monika and Menzel, Thomas}, title = {Instruction List Verification Using a Petri Net Semantics}, series = {1998 IEEE International Conference on Systems, Man and Cybernetics, San Diego, Calif., USA, October 11 - 14, 1998}, booktitle = {1998 IEEE International Conference on Systems, Man and Cybernetics, San Diego, Calif., USA, October 11 - 14, 1998}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {0-7803-4778-1}, doi = {10.1109/ICSMC.1998.725498}, pages = {716 -- 721}, language = {en} } @inproceedings{Heiner, author = {Heiner, Monika}, title = {Petri Net Based System Analysis without State Explosion}, series = {Proceedings High Performance Computing '98, Boston, April 1998, SCS Int. San Diego 1998}, booktitle = {Proceedings High Performance Computing '98, Boston, April 1998, SCS Int. San Diego 1998}, pages = {394 -- 403}, language = {en} } @misc{GambinHeiner, author = {Gambin, Anna and Heiner, Monika}, title = {Advances in Biological processes and Petri nets (BioPPN)}, series = {Fundamenta Informaticae}, volume = {160}, journal = {Fundamenta Informaticae}, number = {1-2}, issn = {0169-2968}, doi = {10.3233/FI-2018-1671}, pages = {V -- VII}, language = {en} } @misc{LiuChenHeineretal., author = {Liu, Fei and Chen, Siyuan and Heiner, Monika and Song, Hengjie}, title = {Modeling Biological Systems with Uncertain Kinetic Data Using Fuzzy Continuous Petri Nets}, series = {BMC Systems Biology}, volume = {12}, journal = {BMC Systems Biology}, number = {Supplement 4}, issn = {1752-0509}, doi = {10.1186/s12918-018-0568-8}, pages = {64 -- 74}, language = {en} } @misc{BaldanBocciBrigolinetal., author = {Baldan, Paolo and Bocci, Martina and Brigolin, Daniele and Cocco, Nicoletta and Heiner, Monika and Simeoni, Marta}, title = {Petri Nets for modelling and analysing Trophic Networks}, series = {Fundamenta Informaticae}, volume = {160}, journal = {Fundamenta Informaticae}, number = {1-2}, issn = {0169-2968}, doi = {10.3233/FI-2018-1673}, pages = {27 -- 52}, language = {en} }