Logo

publications


data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Selected References - Reports

37 entries


2018 - 2017 - 2016 - 2015 - 2014 - 2013 - 2012 - 2011 - 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2002 - 2001 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1992

2018

  • [CH18]
    J Chodak and M Heiner:
    Spike - a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets;
    In Proc. 21th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2018), University of Augsburg, pages 1-6, October 2018. [ url ] [ pdf ] [ BibTeX ]

2017

  • [GHG17]
    D Gilbert, M Heiner and L Ghanbar:
    Personalised models for human – gut microbiota interaction;
    In Methods, tools & platforms for Personalised Medicine in the Big Data Era, NETTAB 2017 Workshop Collection, PeerJ, volume Preprints 5:e3267v1, pages 1-4, September 2017. [ url ] [ doi ] [ BibTeX ]
  • [HLRH17.manual]
    M Herajy, F Liu, C Rohr and M Heiner:
    (Coloured Hybrid Petri Nets in Snoopy - User Manual;
    Technical report 01-17, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2017. [ url ] [ BibTeX ]

2016

  • [H16]
    M Heiner:
    From Petri Nets to Partial Differential Equations: A Petri Net Perspective on Systems and Synthetic Biology;
    In Y Rondelez, D Woods (ed.): DNA Computing and Molecular Programming (DNA22), Springer, LNCS, volume 9818, September 2016. [ url ] [ pdf ] [ BibTeX ]
  • [SRH16]
    M Schwarick, C Rohr and M Heiner:
    MARCIE Manual;
    Technical report 02-16, Brandenburg University of Technology Cottbus, Department of Computer Science, December 2016. [ url ] [ pdf ] [ BibTeX ]
  • [H16.mcc]
    M Heiner:
    GPPP – Glycolysis and Pentose Phosphate Pathway, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2016. [ url ] [ pdf ] [ BibTeX ]

2015

  • [H15.mcc]
    M Heiner:
    Phase variation in cell colony growth, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2015. [ url ] [ pdf ] [ BibTeX ]
  • [S15]
    A Sharma:
    Snoopy Report Generator Snoopy2LATEX (Internship report);
    Technical report, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2015. [ pdf ] [ BibTeX ]
  • [A15]
    S Agarwal:
    Reengineering Snoopy’s GUI (Internship report);
    Technical report, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2015. [ pdf ] [ BibTeX ]

2014

  • [H14]
    M Heiner:
    Petri Nets Research at BTU in Cottbus, Germany;
    In Petri Net Newsletter, GI, Newsletter of the Special Interest Group on Petri Nets and Related System Models, ISSN 0391-1804, volume 83, pages 19-25, April 2014. [ pdf ] [ BibTeX ]
  • [H14-feature]
    Research Media:
    The power of Petri nets;
    In International Innovation, Special Focus - Women in Healthcare, Research Media, volume 137, pages 72-74, May 2014. [ url ] [ pdf ] [ BibTeX ]
  • [H14a.mcc]
    M Heiner:
    Diffusion in 2D, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [H14b.mcc]
    M Heiner:
    Parameterised Production Cell, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [H14c.mcc]
    M Heiner:
    Solitaire, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [R14a.mcc]
    C Rohr:
    Angiogenesis, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [R14b.mcc]
    C Rohr:
    Circadian Clock, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [R14c.mcc]
    C Rohr:
    ERK signalling pathway, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [AS14]
    A Sinha:
    Comparison of stochastic simulation tools;
    Technical report 01-14, Brandenburg University of Technology Cottbus-Senftenberg, Department of Computer Science, June 2014. [ url ] [ BibTeX ]
  • [CS14]
    C Swapnil:
    Stochastic simulation efficiency;
    Technical report 02-14, Brandenburg University of Technology Cottbus-Senftenberg, Department of Computer Science, July 2014. [ url ] [ BibTeX ]

2013

  • [HH13.manual]
    M Herajy and M Heiner:
    Snoopy Computational Steering Framework – User Manual Version 1.0;
    Technical report 02-13, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2013. [ pdf ] [ BibTeX ]
  • [BKH+13]
    LMF Bertens, J Kleijn, SC Hille, M Koutny, M Heiner and FJ Verbeek:
    Modeling biological gradient formation: combining partial differential equations and Petri nets;
    Technical report CS-TR-1379, University of Newcastle upon Tyne, School of Computing Science, March 2013. [ url ] [ BibTeX ]

2012

  • [LHR12.manual]
    F Liu, M Heiner and C Rohr:
    Manual for Colored Petri Nets in Snoopy;
    Technical report 02-12, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2012. [ pdf ] [ BibTeX ]

2011

  • [HWW11]
    M Heiner, H Wimmel and K Wolf:
    Atomic Fragments of Petri Nets;
    In Proc. 18th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2011), Fernuniv. Hagen, September 2011. [ url ] [ pdf ] [ BibTeX ]
  • [BHM11]
    MA Blätke, M Heiner, and W Marwan:
    Tutorial - Petri Nets in Systems Biology;
    Technical report, Otto von Guericke University Magdeburg, Magdeburg Centre for Systems Biology, August 2011. [ pdf ] [ BibTeX ]
  • [HH11]
    M Herajy and M Heiner:
    Hybrid Representation and Simulation of Stiff Biochemical Networks through Generalised Hybrid Petri Nets;
    Technical report 02-11, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2011. [ pdf ] [ BibTeX ]
  • [LH11]
    F Liu and M Heiner:
    Manual for Colored Petri Nets in Snoopy;
    Technical report, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2011. [ pdf ] [ BibTeX ]

2010

  • [HH10]
    M Herajy and M Heiner:
    Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions;
    In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 66–79, October 2010. [ pdf ] [ BibTeX ]
  • [LH10b]
    F Liu and M Heiner:
    Computation of Enabled Transition Instances for Colored Petri Nets;
    In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 51–65, October 2010. [ pdf ] [ BibTeX ]
  • [Rohr10]
    C Rohr:
    Simulative CSL model checking of Stochastic Petri nets in IDD-MC;
    In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 88–93, October 2010. [ pdf ] [ BibTeX ]
  • [Schw10]
    M Schwarick:
    IDD-MC - a model checker for bounded stochastic Petri nets;
    In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 80–87, October 2010. [ pdf ] [ BibTeX ]

2009

  • [Liu09.manual]
    F Liu:
    Manual for Snoopy2Prism Export;
    Technical report, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2009. [ pdf ] [ BibTeX ]

2008

  • [HRRS08]
    M Heiner, R Richter, C Rohr and M Schwarick:
    Snoopy – A Tool to Design and Animate/Simulate Graph-Based Formalisms;
    In Petri Net Newsletter, GI, pages 8–22, April 2008 (This paper is an extended version of Proc. PNTAP 2008). [ pdf ] [ BibTeX ]
  • [Schw08]
    M Schwarick:
    Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams;
    In Proc. 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2008), CEUR-WS.org, CEUR Workshop Proceedings, volume 380, pages 43–48, September 2008. [ pdf ] [ BibTeX ]

2007

  • [HRS07]
    M Heiner, R Richter and M Schwarick:
    Snoopy - A Tool to Design and Animate/Simulate Graph-Based Formalisms;
    In Proc. AWPN Workshop, Koblenz, Sept. 2007, pages 8-13, 2007. [ url ] [ pdf ] [ BibTeX ]
  • [GHL07a]
    D Gilbert, M Heiner and S Lehrack:
    A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets;
    Technical report I-02/2007, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2007. [ pdf ] [ BibTeX ]

2006

  • [Lehr06]
    S Lehrack:
    Three Petri net approaches for Biochemical Network Analysis;
    Technical report I-01/2006, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2006. [ pdf ] [ BibTeX ]

2005

  • [GH05]
    D Gilbert and M Heiner:
    From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis;
    Technical report I-04/2005, Brandenburg University of Technology Cottbus, Department of Computer Science, December 2005. [ pdf ] [ BibTeX ]

2004

  • [PHK04]
    L Popova-Zeugmann, M Heiner and I Koch:
    Modelling and Analysis of Biochemical Networks with Time Petri Nets;
    In Proc. Workshop Concurrency, Specification and Programming (CSP 2011), Humboldt University, Informatik-Berichte HUB, No 170, volume 1, pages 136-143, September 2004. [ pdf ] [ BibTeX ]
  • [Runge04a]
    T Runge:
    Qualitative Path Analysis of Metabolic Pathways Using Petri Nets for Generic Modelling;
    Technical report I-03/2004, Brandenburg University of Technology Cottbus, Department of Computer Science, August 2004. [ pdf ] [ BibTeX ]
  • [Tovc04]
    A Tovchigrechko:
    Model Checking of Bounded Petri Nets Using Interval Diagrams;
    Technical report I-05/2004, Brandenburg University of Technology Cottbus, Department of Computer Science, November 2004. [ pdf ] [ BibTeX ]

2002

  • [WH02]
    J Will and M Heiner:
    Petri Nets in Biology, Chemistry, and Medicine - Bibliography;
    Technical report I-04/02, Brandenburg University of Technology Cottbus, Department of Computer Science, November 2002. [ pdf ] [ BibTeX ]

2001

  • [HMD01]
    M Heiner, T Mertke and P Deussen:
    A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (in German, Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen), Mai 2001;
    Technical report, 2001. [ pdf ] [ BibTeX ]

1999

  • [Deus99]
    P Deussen:
    Improvements of Concurrent Automata Generation;
    Technical report I-08/1999, Brandenburg University of Technology Cottbus, Department of Computer Science, July 1999. [ pdf ] [ BibTeX ]

1998

  • [Deus98]
    P Deussen:
    Concurrent Automata;
    Technical report I-05/1998, Brandenburg University of Technology Cottbus, Department of Computer Science, August 1998. [ pdf ] [ BibTeX ]

1997

  • [HM97]
    M Heiner and T Menzel:
    Petri-Netz-Semantik für die SPS-Anwenderprogrammiersprache Anweisungsliste;
    Technical report I-20/1997, Brandenburg University of Technology Cottbus, Department of Computer Science, December 1997. [ pdf ] [ BibTeX ]
  • [HMMM97]
    M Heiner, M Meier, T Menzel and T Mertke:
    Petri-Netz basierte Methoden zur sicherheitsorientierten Zertifizierung von SPS Anwenderprogrammen;
    Technical report I-19/1997, Brandenburg University of Technology Cottbus, Department of Computer Science, December 1997. [ pdf ] [ BibTeX ]

1996

  • [HP96]
    M Heiner and L Popova-Zeugmann:
    Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets;
    Technical report I-02/1996, Brandenburg University of Technology Cottbus, Department of Computer Science, December 1996. [ pdf ] [ BibTeX ]

1995

  • [HD95]
    M Heiner, P Deussen:
    Petri Net Based Qualitative Analysis - A Case Study;
    Technical report I-08/1995, Brandenburg University of Technology Cottbus, Department of Computer Science, December 1995. [ pdf ] [ BibTeX ]
  • [WH95]
    D Wikarski and M Heiner:
    On the Application of Markovian Object Nets to Integrated Qualitative and Software Analysis;
    Technical report 29/95, Fraunhofer ISST Berlin, October 1995. [ pdf ] [ BibTeX ]

1994

  • [HW94]
    M Heiner and D Wikarski:
    An Approach to Petri Net Based Integration of Qualitative and Quantitative Analysis of Parallel Systems;
    Technical report I-09/1994, Brandenburg University of Technology Cottbus, Department of Computer Science, December 1994. [ pdf ] [ BibTeX ]

1992

  • [H92]
    M Heiner:
    Petri Net Based Software Validation - Prospects and Limitations;
    Technical report TR-92-022, ICSI Berkeley, March 1992. [ pdf ] [ BibTeX ]

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy