TY - CHAP A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Rohr, Christian ED - Heiner, Monika T1 - Coloured hybrid Petri nets for systems biology T2 - Proceedings of the 5th International Workshop on Biological Processes & Petri Nets (BioPPN) Y1 - 2014 UR - http://ceur-ws.org/Vol-1159/ SP - 60 EP - 76 ER - TY - GEN A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Rohr, Christian A1 - Heiner, Monika T1 - Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models T2 - BMC Systems Biology Y1 - 2017 UR - https://link.springer.com/epdf/10.1186/s12918-017-0449-6?author_access_token=54a9mC7bl_t-6TjlSqdqNG_BpE1tBhCbnbw3BuzI2RMKIgJAZ9nr6Hm0LME2XT_scd04D6IjdxN2SajBh1-bYG6TDIkKQYJrtczMPmCV290rFO3LRZ0YPUqCBRlezXRq1AJVJo-7YPWMt0G3LF52OA%3D%3D U6 - https://doi.org/10.1186/s12918-017-0449-6 SN - 1752-0509 VL - 11 ER - TY - GEN A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Rohr, Christian A1 - Heiner, Monika T1 - Coloured Hybrid Petri Nets: an Adaptable Modelling Approach for Multi-scale Biological Networks T2 - Computational Biology and Chemistry KW - Coloured Petri nets KW - Hybrid Petri Nets KW - Multi-scale modelling KW - Bistable switch KW - Dendritic spines Y1 - 2018 U6 - https://doi.org/10.1016/j.compbiolchem.2018.05.023 SN - 1476-9271 VL - 76 SP - 87 EP - 100 ER - TY - GEN A1 - Schwarick, Martin A1 - Rohr, Christian A1 - Liu, Fei A1 - Assaf, George A1 - Chodak, Jacek A1 - Heiner, Monika T1 - Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams T2 - Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings N2 - We consider coloured Petri nets, qualitative and quantitative ones alike, as supported by our PetriNuts tool family, comprising, among others, Snoopy, Marcie and Spike. Currently, most analysis and simulation techniques require to unfold the given coloured Petri net into its corresponding plain, uncoloured Petri net representation. This unfolding step is rather straightforward for finite discrete colour sets, but tends to be time-consuming due to the potentially huge number of possible transition bindings. We present an unfolding approach building on a special type of symbolic data structures, called Interval Decision Diagram, and compare its runtime performance with an unfolding engine employing an off-the-shelf library to solve constraint satisfaction problems. For this comparison we use the 22 scalable coloured models from the MCC benchmark suite, complemented by a few from our own collection. KW - Coloured Petri KW - Unfolding KW - Symbolic data structures KW - Interval decision diagrams Y1 - 2020 SN - 978-3-030-51830-1 SN - 978-3-030-51831-8 U6 - https://doi.org/10.1007/978-3-030-51831-8_16 SP - 324 EP - 344 PB - Springer CY - Cham ER -