Efficient unfolding of coloured Petri nets using interval decision diagrams M Schwarick, C Rohr, F Liu, G Assaf, J Chodak, M Heiner Application and Theory of Petri Nets and Concurrency: 41st International …, 2020 | 21 | 2020 |
Biochemical reaction networks with fuzzy kinetic parameters in Snoopy G Assaf, M Heiner, F Liu Computational Methods in Systems Biology: 17th International Conference …, 2019 | 12 | 2019 |
Coloured fuzzy Petri nets for modelling and analysing membrane systems G Assaf, M Heiner, F Liu Biosystems 212, 104592, 2022 | 11 | 2022 |
A Petri nets-based framework for whole-cell modeling F Liu, G Assaf, M Chen, M Heiner Biosystems 210, 104533, 2021 | 9 | 2021 |
Colouring fuzziness for systems biology G Assaf, M Heiner, F Liu Theoretical Computer Science 875, 52-64, 2021 | 8 | 2021 |
Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters G Assaf BTU Cottbus-Senftenberg, 2022 | 3 | 2022 |
Snoopy@ informatik. tu-cottbus. de G Assaf, M Heiner, F Liu | | 2021 |
Fuzzy Petri nets G Assaf, M Heiner, F Liu | | 2021 |
E cient Unfolding of Coloured Petri Nets using Interval Decision Diagrams M Schwarick, C Rohr, F Liu, G Assaf, J Chodak, M Heiner | | 2020 |
Unfolding of Coloured Petri Nets G Assaf Computer Science, 2020 | | 2020 |
Spatial Encoding of Systems Using Coloured Petri Nets G Assaf, M Heiner Algorithms and Tools for Petri Nets, 38, 2019 | | 2019 |
Petri Nets for Modelling Cholesterol Metabolism and Hypercholesterolemia Therapy G Assaf, F Liu, M Heiner Available at SSRN 4402917, 0 | | |
Fuzzy and Hybrid Modelling of the Caulobacter Crescentus Cell Cycle G Assaf, F Liu, M Heiner, M Herajy Available at SSRN 4349049, 0 | | |