@misc{KurthBachmannHeineretal.2006, author = {Kurth, Winfried and Bachmann, Peter and Heiner, Monika and K{\"o}nig, Hartmut and Kraemer, Rolf and Lewerentz, Claus and Nolte, J{\"o}rg and Thalheim, Bernhard and Vierhaus, Heinrich Theodor and Braunm{\"u}hl, Burchard von and Wagner, Gerd}, title = {Jahresbericht 2003/2005 / Institut fuer Informatik, Informations- und Medientechnik}, organization = {Brandenburgische Technische Universit{\"a}t Cottbus / Institut f{\"u}r Informatik, Informations- und Medientechnik}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-3488}, year = {2006}, abstract = {Selbstdarstellung des Instituts f{\"u}r Informatik, Informations- und Medientechnik der BTU Cottbus und Berichte der Lehrst{\"u}hle f{\"u}r die Jahre 2003, 2004 und 2005.}, subject = {Cottbus / Technische Universit{\"a}t; Bericht; Informatik; Informations- und Medientechnik; BTU Cottbus; Computer Science; Information Technology; Media Technology; BTU Cottbus}, language = {de} } @misc{ThalheimHeinerKurthetal.2003, author = {Thalheim, Bernhard and Heiner, Monika and Kurth, Winfried and Bachmann, Peter and K{\"o}nig, Hartmut and Lewerentz, Claus and Vierhaus, Heinrich Theodor and Braunm{\"u}hl, Burchard von and Nolte, J{\"o}rg}, title = {Jahresbericht 2001/2002 / Institut f{\"u}r Informatik}, organization = {Brandenburgische Technische Universit{\"a}t Cottbus / Institut f{\"u}r Informatik}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-3527}, year = {2003}, abstract = {Selbstdarstellung des Instituts f{\"u}r Informatik der BTU Cottbus und Berichte der Lehrst{\"u}hle f{\"u}r die Jahre 2001 und 2002.}, subject = {Cottbus / Technische Universit{\"a}t; Bericht; Informatik; BTU Cottbus; Computer Science; BTU Cottbus}, language = {de} } @misc{ThalheimHeinerBachmannetal.2001, author = {Thalheim, Bernhard and Heiner, Monika and Bachmann, Peter and K{\"o}nig, Hartmut and Lewerentz, Claus and Vierhaus, Heinrich Theodor and Braunm{\"u}hl, Burchard von}, title = {Jahresbericht 2000/ Institut f{\"u}r Informatik}, organization = {Brandenburgische Technische Universit{\"a}t Cottbus / Institut f{\"u}r Informatik}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-3533}, year = {2001}, abstract = {Selbstdarstellung des Instituts f{\"u}r Informatik der BTU Cottbus und Berichte der Lehrst{\"u}hle f{\"u}r das Jahr 2000.}, subject = {Cottbus / Technische Universit{\"a}t; Bericht; Informatik; BTU Cottbus; Computer Science; BTU Cottbus}, language = {de} } @misc{ThalheimHeinerBachmannetal.2000, author = {Thalheim, Bernhard and Heiner, Monika and Bachmann, Peter and K{\"o}nig, Hartmut and Lewerentz, Claus and Vierhaus, Heinrich Theodor and Braunm{\"u}hl, Burchard von}, title = {Jahresbericht 1999 / Institut f{\"u}r Informatik}, organization = {Brandenburgische Technische Universit{\"a}t Cottbus / Institut f{\"u}r Informatik}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-3547}, year = {2000}, abstract = {Selbstdarstellung des Instituts f{\"u}r Informatik der BTU Cottbus und Berichte der Lehrst{\"u}hle f{\"u}r das Jahr 1999.}, subject = {Cottbus / Technische Universit{\"a}t; Bericht; Informatik; BTU Cottbus; Computer Science; BTU Cottbus}, language = {de} } @misc{LewerentzThalheimHeineretal.1998, author = {Lewerentz, Claus and Thalheim, Bernhard and Heiner, Monika and Lux, Gregor and Bachmann, Peter and K{\"o}nig, Hartmut and Vierhaus, Heinrich Theodor and Braunm{\"u}hl, Burchard von}, title = {Jahresbericht 1997 / Institut f{\"u}r Informatik}, organization = {Brandenburgische Technische Universit{\"a}t Cottbus / Institut f{\"u}r Informatik}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-3563}, year = {1998}, abstract = {Selbstdarstellung des Instituts f{\"u}r Informatik der BTU Cottbus und Berichte der Lehrst{\"u}hle f{\"u}r das Jahr 1997.}, subject = {Cottbus / Technische Universit{\"a}t; Bericht; Informatik; BTU Cottbus; Computer Science; BTU Cottbus}, language = {de} } @misc{BachmannThalheimHeineretal.1999, author = {Bachmann, Peter and Thalheim, Bernhard and Heiner, Monika and Lux, Gregor and K{\"o}nig, Hartmut and Lewerentz, Claus and Vierhaus, Heinrich Theodor and Braunm{\"u}hl, Burchard von}, title = {Jahresbericht 1998 / Institut f{\"u}r Informatik}, organization = {Brandenburgische Technische Universit{\"a}t Cottbus / Institut f{\"u}r Informatik}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-3559}, year = {1999}, abstract = {Selbstdarstellung des Instituts f{\"u}r Informatik der BTU Cottbus und Berichte der Lehrst{\"u}hle f{\"u}r das Jahr 1998.}, subject = {Cottbus / Technische Universit{\"a}t; Bericht; Informatik; BTU Cottbus; Computer Science; BTU Cottbus}, language = {de} } @techreport{SchwarickRohrHeiner2016, author = {Schwarick, Martin and Rohr, Christian and Heiner, Monika}, title = {MARCIE manual}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-40568}, year = {2016}, abstract = {This manual gives an overview on MARCIE - Model Checking And Reachability analysis done effiCIEntly. MARCIE was originally developed as a symbolic model checker for stochastic Petri nets, building on its predecessor - IDDMC - Interval Decision Diagram based Model Checking - which has been previously developed for the qualitative analysis of bounded Place/Transition nets extended by special arcs. Over the last years the tool has been enriched to allow also quantitative analysis of extended stochastic Petri nets. We concentrate here on the user viewpoint. For a detailed introduction to the relevant formalisms, formal definitions and algorithms we refer to related literature.}, subject = {Petri nets; Model checking; Model Checking; Petri-Netz}, language = {en} } @techreport{HerajyLiuRohretal.2017, author = {Herajy, Mostafa and Liu, Fei and Rohr, Christian and Heiner, Monika}, title = {(Coloured) Hybrid Petri nets in Snoopy - user manual}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-41572}, year = {2017}, abstract = {Hybrid simulation of biological processes becomes widely used to overcome the limitations of the pure stochastic or the complete deterministic simulation. In this manual, we present easy-to-follow steps for constructing and executing hybrid models via Snoopy [HHL+12]. Snoopy is a tool to design and animate or simulate hierarchical graphs, i.e., qualitative, stochastic, continuous, and hybrid Petri nets. This manual is concerned with hybrid Petri nets (HPN) [HH12] as well as their coloured counterpart (HPNC) [HLR14]. HPN combine the merits of stochastic and continuous Petri nets into one single class. Moreover, HPN in Snoopy supports state of the art hybrid simulation algorithms (e.g., [HH16]) to execute the constructed HPN models. Simulating a model using Snoopy's hybrid simulation involves first constructing the reaction network via HPN notations and afterwards executing such model.}, subject = {Petri net; Hierarchical graph; Gef{\"a}rbtes Petri-Netz; Hybridsimulation}, language = {en} } @techreport{HerajyHeiner2013, author = {Herajy, Mostafa and Heiner, Monika}, title = {Snoopy computational steering framework - user manual version 1.0}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-29034}, year = {2013}, abstract = {In this manual we discuss the use of Snoopy's computational steering framework to simulate and interactively steer (stochastic, continuous, hybrid) Petri nets, e.g., biochemical network models. In a typical application scenario, a user constructs a model using a Petri net editing tool (e.g., Snoopy). Afterwards, the Petri net model is submitted to one of the running servers to quantitatively simulate it. Later, other users can adapt their steering GUIs to connect to this model. One of the connected users initialises the simulation while others could stop, pause, or restart it. When the simulator initially starts, it uses the current model settings to run the simulation. Later, other users can remotely join the running simulation and change on the fly parameters and the current marking.}, subject = {Datenstruktur; Zuverl{\"a}ssigkeit}, language = {en} }