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 -