The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 1 of 11
Back to Result List

(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

Search Google Scholar Stastistics
Metadaten
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.
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.