Follow
Mostafa Herajy
Mostafa Herajy
Faculty of Science, Port Said University
Verified email at sci.psu.edu.eg
Title
Cited by
Cited by
Year
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
3292012
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
312017
Coloured hybrid Petri nets for systems biology.
M Herajy, F Liu, C Rohr
BioPPN@ Petri Nets, 60-76, 2014
272014
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
242018
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
222018
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
202016
Adaptive and bio-semantics of continuous Petri nets: Choosing the appropriate interpretation
M Herajy, M Heiner
Fundamenta Informaticae 160 (1-2), 53-80, 2018
182018
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
152014
Modeling and simulation of multi-scale environmental systems with generalized hybrid Petri nets
M Herajy, M Heiner
Frontiers in Environmental Science 3, 53, 2015
122015
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
122012
Computational steering of multi-scale biochemical networks
M Herajy
BTU Cottbus-Senftenberg, 2013
112013
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
102018
(Coloured) Hybrid Petri nets in Snoopy–user manual
M Herajy, F Liu, C Rohr, M Heiner
82017
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
72019
Snoopy computational steering framework-user manual version 1.0
M Herajy, M Heiner
52013
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
42020
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
32018
The system can't perform the operation now. Try again later.
Articles 1–20