Snoopy–a unifying Petri net tool M Heiner, M Herajy, F Liu, C Rohr, M Schwarick Application and Theory of Petri Nets: 33rd International Conference, PETRI …, 2012 | 331 | 2012 |
Hybrid representation and simulation of stiff biochemical networks M Herajy, M Heiner Nonlinear Analysis: Hybrid Systems 6 (4), 942-959, 2012 | 70* | 2012 |
Hybrid Petri nets for modelling the eukaryotic cell cycle M Herajy, M Schwarick, M Heiner Transactions on petri nets and other models of concurrency VIII, 123-141, 2013 | 40* | 2013 |
Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models M Herajy, F Liu, C Rohr, M Heiner BMC systems biology 11, 1-16, 2017 | 32 | 2017 |
Coloured hybrid Petri nets for systems biology. M Herajy, F Liu, C Rohr BioPPN@ Petri Nets, 60-76, 2014 | 27 | 2014 |
Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights M Herajy, F Liu, M Heiner Nonlinear Analysis: Hybrid Systems 27, 191-212, 2018 | 24 | 2018 |
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks M Herajy, F Liu, C Rohr, M Heiner Computational Biology and Chemistry 76, 87-100, 2018 | 22 | 2018 |
Accelerated simulation of hybrid biological models with quasi-disjoint deterministic and stochastic subnets M Herajy, M Heiner Hybrid Systems Biology: 5th International Workshop, HSB 2016, Grenoble …, 2016 | 20 | 2016 |
Adaptive and bio-semantics of continuous Petri nets: Choosing the appropriate interpretation M Herajy, M Heiner Fundamenta Informaticae 160 (1-2), 53-80, 2018 | 18 | 2018 |
Petri net-based collaborative simulation and steering of biochemical reaction networks M Herajy, M Heiner Fundamenta Informaticae 129 (1-2), 49-67, 2014 | 16* | 2014 |
A steering server for collaborative simulation of quantitative Petri nets M Herajy, M Heiner Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 15 | 2014 |
Modeling and simulation of multi-scale environmental systems with generalized hybrid Petri nets M Herajy, M Heiner Frontiers in Environmental Science 3, 53, 2015 | 12 | 2015 |
Application and theory of petri nets M Heiner, M Herajy, F Liu, C Rohr, M Schwarick Lecture Notes in Computer Science 7347, 398-407, 2012 | 12 | 2012 |
Computational steering of multi-scale biochemical networks M Herajy | 11 | 2013 |
An improved simulation of hybrid biological models with many stochastic events and quasi-disjoint subnets M Herajy, M Heiner 2018 Winter Simulation Conference (WSC), 1346-1357, 2018 | 10 | 2018 |
(Coloured) Hybrid Petri nets in Snoopy–user manual M Herajy, F Liu, C Rohr, M Heiner | 8 | 2017 |
A graphical approach for hybrid modelling of intracellular calcium dynamics based on coloured hybrid Petri nets A Ismail, M Herajy, M Heiner Automated Reasoning for Systems Biology and Medicine, 349-367, 2019 | 7 | 2019 |
Snoopy computational steering framework-user manual version 1.0 M Herajy Deutsche Nationalbibliothek, 2013 | 5 | 2013 |
A graphical approach for hybrid simulation of 3D diffusion bio-models via coloured hybrid Petri nets A Ismail, M Herajy, E Atlam, M Heiner Modelling and Simulation in Engineering 2020, 2020 | 4 | 2020 |
An efficient approach for the hybrid simulation of intracellular calcium dynamics A Ismail, M Herajy, M Heiner, E Atlam 2018 13th International Conference on Computer Engineering and Systems …, 2018 | 3 | 2018 |