(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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author: Herajy, Mostafa, Liu, Fei, Rohr, Christian, Heiner, Monika
Series (Serial Number):Computer science reports / Institut für Informatik (2017,01)
Document Type:Report
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.