Computer science reports / Institut für Informatik
Refine
Document Type
- Report (2)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2)
Language
- English (2)
Keywords
- Datenstruktur (1)
- Gefärbtes Petri-Netz (1)
- Hierarchical graph (1)
- Hybridsimulation (1)
- Petri net (1)
- Zuverlässigkeit (1)
Institute
2017,01
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.
2013,02
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.