TY - THES A1 - Spranger, Jochen T1 - Symbolische LTL-Verifikation von Petrinetzen KW - nebenläufige Systeme KW - Modelchecking KW - Petrinetze KW - Stellen/Transaktionsnetze KW - 1-Stellen-Invarianten KW - symbolische Verfahren KW - reduzierte geordnete binäre Entscheidungsgraphen KW - ROBDD KW - linear-time temporale Logik KW - LTL KW - Fixpunktiteration KW - Tiefensuche KW - Büchinetze KW - Büchiautomaten KW - on-the-fly Verfahren KW - symbolische Tiefensuche KW - Verifikation Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000179 UR - http://opus.kobv.de/btu/volltexte/2007/97/ ER - TY - THES A1 - Deussen, Peter H. T1 - Analyse verteilter Systeme mit Hilfe von Prozeßautomaten KW - Verteilte Systeme KW - Prozeßautomaten KW - Modelchecking KW - Verifikation KW - DCTL KW - Petri-Netze Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000275 PB - Brandenburgische Techn. Univ. CY - Cottbus ER - TY - CHAP A1 - Heiner, Monika A1 - Heisel, Maritta A1 - Hatebur, Denis A1 - Rottke, Thomas ED - Anderson, Stuart T1 - A Problem-Oriented Approach to common Criteria Certification T2 - Computer safety, reliability and security, 21st international conference, SAFECOMP 2002, Catania, Italy, September 10 - 13, 2002 N2 - Abstract. There is an increasing demand to certify the security of systems according to the Common Criteria (CC). The CC distinguish several evaluation assurance levels (EALs), level EAL7 being the highest and requiring the application of formal techniques. We present a method for requirements engineering an (semi-formal and formal) modeling of systems to be certified according to the higher evaluation assurance levels of the CC. The method is problem oriented, i.e. it is driven by the environment in which the system will operate and by a mission statement. We illustrate our approach by an industrial case study, namely an electronic purse card (EPC) to be implemented on a Java Smart Card. As a novelty, we treat the mutual asymmetric authentication of the card an the terminal into which the card is inserted. Y1 - 2002 SN - 3-540-44157-3 SP - 334 EP - 346 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Mertke, Thomas A1 - Deussen, Peter H. A1 - Heiner, Monika T1 - Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen Y1 - 2001 ER - TY - CHAP A1 - Heiner, Monika T1 - Understanding Network Behavior by Structured Representations of Transition Invariants KW - Petri Nets Y1 - 2009 UR - http://www.springerlink.com/content/m8t30720r141442m ER - TY - CHAP A1 - Heiner, Monika A1 - Donaldson, Robin A1 - Gilbert, David ED - Iyengar, M. Sriram T1 - Petri Nets for Systems Biology T2 - Symbolic systems biology Y1 - 2009 UR - http://www.jblearning.com/catalog/9780763753702/ SN - 978-0-7637-5370-2 PB - Jones and Bartlett Learning CY - Sudbury, Mass. [u.a.] ER - TY - CHAP A1 - Heiner, Monika A1 - Gilbert, David A1 - Breitling, Rainer A1 - Orton, Richard T1 - Computation modelling of kinase signalling cascades Y1 - 2010 UR - http://www.springerlink.com/content/w737003v17214214/#section=761974%26page=1 ER - TY - CHAP A1 - Heiner, Monika A1 - Gilbert, David T1 - How Might Petri Nets Enhance Your Systems Biology Toolkit Y1 - 2011 UR - http://www.springerlink.com/content/t21n70p613h75m64/ ER - TY - CHAP A1 - Heiner, Monika A1 - Marwan, Wolfgang A1 - Rohr, Christian T1 - Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks Y1 - 2012 UR - http://www.springerlink.com/content/978-1-61779-361-5 ER - TY - CHAP A1 - Heiner, Monika T1 - Understanding Network Behaviour by Structured Representations of Transition Invariants - A Petri Net Perspective on Systems and Synthetic Biology Y1 - 2009 UR - http://www.springerlink.com/content/m8t30720r141442m ER - TY - GEN A1 - Schwarick, Martin A1 - Tovchigrechko, Alexey A. T1 - IDD-based model validation of biochemical networks T2 - Theoretical Computer Science Y1 - 2010 U6 - https://doi.org/10.1016/j.tcs.2010.06.030 SN - 0304-3975 VL - 412 IS - 26 SP - 2884 EP - 2908 ER - TY - CHAP A1 - Heiner, Monika A1 - Lehrack, Sebastian A1 - Gilbert, David A1 - Marwan, Wolfgang T1 - Extended Stochastic Petri Nets for Model-based Design of Wetlab Experiments T2 - Transactions on Computational Systems Biology XI Y1 - 2009 UR - http://www.springerlink.com/content/5u8h68411657x827/?p=e806216818924093ad3bc526c8b3604d&pi=0 SN - 978-3-642-04185-3 SP - 138 EP - 163 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Grafahrend-Belau, Eva A1 - Schreiber, Falk A1 - Heiner, Monika A1 - Sackmann, Andrea A1 - Junker, Björn H. A1 - Grunwald, Stefanie A1 - Speer, Astrid A1 - Winder, Katja A1 - Koch, Ina T1 - Modularization of biochemical networks based on classification of Petri net T-invariants T2 - BMC Bioinformatics Y1 - 2008 U6 - https://doi.org/10.1186/1471-2105-9-90 SN - 1471-2105 VL - Vol. 9 ER - TY - GEN A1 - Breitling, Rainer A1 - Gilbert, David A1 - Heiner, Monika A1 - Orton, Richard T1 - A structured approach for the engineering of biochemical network models, illustrated for signalling pathways T2 - Briefings in Bioinformatics Y1 - 2008 U6 - https://doi.org/10.1093/bib/bbn026 SN - 1477-4054 VL - 9 IS - 5 SP - 404 EP - 421 ER - TY - GEN A1 - Sackmann, Andrea A1 - Heiner, Monika A1 - Koch, Ina T1 - Application of Petri net based analysis techniques to signal transduction pathways T2 - BMC Bioinformatics Y1 - 2006 U6 - https://doi.org/10.1186/1471-2105-7-482 SN - 1471-2105 VL - Vol. 7 ER - TY - GEN A1 - Popova-Zeugmann, Louchka A1 - Heiner, Monika A1 - Koch, Ina T1 - Time Petri Nets for Modelling and Analysis of Biochemical Networks T2 - Fundamenta Informaticae Y1 - 2005 UR - http://iospress.metapress.com/content/84vabcc0venbcgwv/ SN - 1875-8681 VL - 67 IS - 1-3 SP - 149 EP - 162 ER - TY - GEN A1 - Koch, Ina A1 - Junker, Björn H. A1 - Heiner, Monika T1 - Application of Petri Net Theory for Modelling and Validation of the Sucrose Breakdown Pathway in the Potato Tuber T2 - Bioinformatics Y1 - 2005 UR - http://bioinformatics.oupjournals.org/cgi/content/abstract/bti145?ijkey=58saZCDV5w9LY&keytype=ref SN - 1460-2059 VL - 21 IS - 7 SP - 1219 EP - 1226 ER - TY - GEN A1 - Koch, Ina A1 - Schüler, Markus A1 - Heiner, Monika T1 - STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks T2 - In silico biology Y1 - 2004 UR - http://www.bioinfo.de/isb/2004/05/0014/ SN - 1434-3207 VL - Vol. 5 ER - TY - GEN A1 - Heiner, Monika A1 - Koch, Ina A1 - Will, Jürgen T1 - Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis T2 - BioSystems Y1 - 2004 U6 - https://doi.org/10.1016/j.biosystems.2004.03.003 VL - 75 IS - 1-3 SP - 15 EP - 28 ER - TY - GEN A1 - Voss, Klaus A1 - Heiner, Monika A1 - Koch, Ina T1 - Steady State Analysis of Metabolic Pathways Using Petri Nets T2 - In silico biology Y1 - 2003 UR - http://www.bioinfo.de/isb/2003/03/0031/ SN - 1434-3207 VL - Vol. 3 ER -