TY - JOUR A1 - Kurth, Winfried A1 - Bachmann, Peter A1 - Heiner, Monika A1 - König, Hartmut A1 - Kraemer, Rolf A1 - Lewerentz, Claus A1 - Nolte, Jörg A1 - Thalheim, Bernhard A1 - Vierhaus, Heinrich Theodor A1 - Braunmühl, Burchard von A1 - Wagner, Gerd T1 - Jahresbericht 2003/2005 / Institut fuer Informatik, Informations- und Medientechnik T1 - Annual Report 2003/2005 / Department for Computer Science, Information and Media Technology N2 - Selbstdarstellung des Instituts für Informatik, Informations- und Medientechnik der BTU Cottbus und Berichte der Lehrstühle für die Jahre 2003, 2004 und 2005. N2 - Presentation of the Department for Computer Science, Information and Media Technology of the BTU Cottbus and reports of the chairs at the department for the years 2003, 2004 and 2005. T3 - Jahresbericht / Institut für Informatik, Informations- und Medientechnik - 2003/2005 KW - Cottbus / Technische Universität KW - Bericht KW - Informatik KW - Informations- und Medientechnik KW - BTU Cottbus KW - Computer Science KW - Information Technology KW - Media Technology KW - BTU Cottbus Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-3488 ER - TY - JOUR A1 - Thalheim, Bernhard A1 - Heiner, Monika A1 - Kurth, Winfried A1 - Bachmann, Peter A1 - König, Hartmut A1 - Lewerentz, Claus A1 - Vierhaus, Heinrich Theodor A1 - Braunmühl, Burchard von A1 - Nolte, Jörg T1 - Jahresbericht 2001/2002 / Institut für Informatik T1 - Annual Report 2001/2002 / Department for Computer Science N2 - Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für die Jahre 2001 und 2002. N2 - Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the years 2001 and 2002. T3 - Jahresbericht / Institut für Informatik - 2001/2002 KW - Cottbus / Technische Universität KW - Bericht KW - Informatik KW - BTU Cottbus KW - Computer Science KW - BTU Cottbus Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-3527 ER - TY - JOUR A1 - Thalheim, Bernhard A1 - Heiner, Monika A1 - Bachmann, Peter A1 - König, Hartmut A1 - Lewerentz, Claus A1 - Vierhaus, Heinrich Theodor A1 - Braunmühl, Burchard von T1 - Jahresbericht 2000/ Institut für Informatik T1 - Annual Report 2000 / Department for Computer Science N2 - Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 2000. N2 - Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 2000. T3 - Jahresbericht / Institut für Informatik - 2000 KW - Cottbus / Technische Universität KW - Bericht KW - Informatik KW - BTU Cottbus KW - Computer Science KW - BTU Cottbus Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-3533 ER - TY - JOUR A1 - Thalheim, Bernhard A1 - Heiner, Monika A1 - Bachmann, Peter A1 - König, Hartmut A1 - Lewerentz, Claus A1 - Vierhaus, Heinrich Theodor A1 - Braunmühl, Burchard von T1 - Jahresbericht 1999 / Institut für Informatik T1 - Annual Report 1999 / Department for Computer Science N2 - Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1999. N2 - Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1999. T3 - Jahresbericht / Institut für Informatik - 1999 KW - Cottbus / Technische Universität KW - Bericht KW - Informatik KW - BTU Cottbus KW - Computer Science KW - BTU Cottbus Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-3547 ER - TY - JOUR A1 - Lewerentz, Claus A1 - Thalheim, Bernhard A1 - Heiner, Monika A1 - Lux, Gregor A1 - Bachmann, Peter A1 - König, Hartmut A1 - Vierhaus, Heinrich Theodor A1 - Braunmühl, Burchard von T1 - Jahresbericht 1997 / Institut für Informatik T1 - Annual Report 1997 / Department for Computer Science N2 - Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1997. N2 - Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1997. T3 - Jahresbericht / Institut für Informatik - 1997 KW - Cottbus / Technische Universität KW - Bericht KW - Informatik KW - BTU Cottbus KW - Computer Science KW - BTU Cottbus Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-3563 ER - TY - JOUR A1 - Bachmann, Peter A1 - Thalheim, Bernhard A1 - Heiner, Monika A1 - Lux, Gregor A1 - König, Hartmut A1 - Lewerentz, Claus A1 - Vierhaus, Heinrich Theodor A1 - Braunmühl, Burchard von T1 - Jahresbericht 1998 / Institut für Informatik T1 - Annual Report 1998 / Department for Computer Science N2 - Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1998. N2 - Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1998. T3 - Jahresbericht / Institut für Informatik - 1998 KW - Cottbus / Technische Universität KW - Bericht KW - Informatik KW - BTU Cottbus KW - Computer Science KW - BTU Cottbus Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-3559 ER - TY - RPRT A1 - Schwarick, Martin A1 - Rohr, Christian A1 - Heiner, Monika T1 - MARCIE manual N2 - 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. T3 - Computer science reports / Institut für Informatik - 2016,02 KW - Petri nets KW - Model checking KW - Model Checking KW - Petri-Netz Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-40568 ER - TY - RPRT A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Rohr, Christian A1 - Heiner, Monika T1 - (Coloured) Hybrid Petri nets in Snoopy – user manual N2 - 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. T3 - Computer science reports / Institut für Informatik - 2017,01 KW - Petri net KW - Hierarchical graph KW - Gefärbtes Petri-Netz KW - Hybridsimulation Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-41572 ER - TY - RPRT A1 - Herajy, Mostafa A1 - Heiner, Monika T1 - Snoopy computational steering framework - user manual version 1.0 N2 - 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. T3 - Computer science reports / Institut für Informatik - 2013,02 KW - Datenstruktur KW - Zuverlässigkeit Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-29034 ER -