(Coloured) Hybrid Petri nets in Snoopy – user manual
- 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.
Author: | Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner |
---|---|
URN: | urn:nbn:de:kobv:co1-opus4-41572 |
Series (Serial Number): | Computer science reports / Institut für Informatik (2017,01) |
Document Type: | Report |
Language: | English |
Year of Completion: | 2017 |
Release Date: | 2017/04/07 |
Tag: | Hierarchical graph; Petri net |
GND Keyword: | Gefärbtes Petri-Netz; Hybridsimulation |
Institutes: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / Institut für Informatik |
Licence (German): | Keine Lizenz vergeben. Es gilt das deutsche Urheberrecht. |