TY - GEN A1 - Schwarick, Martin A1 - Tovchigrechko, Alexey A. T1 - IDD-based model validation of biochemical networks T2 - Theoretical Computer Science Y1 - 2010 U6 - https://doi.org/10.1016/j.tcs.2010.06.030 SN - 0304-3975 VL - 412 IS - 26 SP - 2884 EP - 2908 ER - TY - CHAP A1 - Herajy, Mostafa A1 - Schwarick, Martin A1 - Heiner, Monika T1 - Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle T2 - Transactions on petri nets and other models of concurrency VIII Y1 - 2013 SN - 978-3-642-40464-1 SN - 978-3-642-40465-8 U6 - https://doi.org/10.1007/978-3-642-40465-8_7 N1 - referiert SP - 123 EP - 141 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Heiner, Monika A1 - Rohr, Christian A1 - Schwarick, Martin A1 - Tovchigrechko, Alexey A. ED - Koutny, Maciej ED - Desel, Jörg ED - Kleijn, Jetty T1 - MARCIE’s secrets of efficient model checking T2 - Transactions on petri nets and other models of concurrency XI Y1 - 2016 SN - 978-3-662-53400-7 SN - 978-3-662-53401-4 U6 - https://doi.org/10.1007/978-3-662-53401-4_14 N1 - referiert SP - 286 EP - 296 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Heiner, Monika A1 - Schwarick, Martin A1 - Wegener, Jan-Thierry T1 - Charlie – an extensible Petri net analysis tool T2 - Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings Y1 - 2015 UR - http://link.springer.com/chapter/10.1007/978-3-319-19488-2_10 SN - 978-3-319-19487-5 U6 - https://doi.org/10.1007/978-3-319-19488-2_10 N1 - peer reviewed SP - 200 EP - 211 PB - Springer International Publishing CY - Cham 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 - TY - CHAP A1 - Heiner, Monika A1 - Rohr, Christian A1 - Schwarick, Martin A1 - Streif, Stefan ED - Quaglia, Paola T1 - A Comparative Study of Stochastic Analysis Techniques T2 - CMSB '10, 8th Conference on Computational Methods in Systems Biology, Trento, Italy — September 29 - October 01, 2010 Y1 - 2010 SN - 978-1-4503-0068-1 U6 - https://doi.org/10.1145/1839764.1839776 SP - 96 EP - 106 PB - ACM CY - New York, NY ER - TY - CHAP A1 - Heiner, Monika A1 - Rohr, Christian A1 - Schwarick, Martin ED - Colom, José-Manuel ED - Desel, Jörg T1 - MARCIE - Model checking and Reachability analysis done effieciently T2 - Application and theory of petri nets and concurrency, 34th international conference, proceedings, PETRI NETS 2013, Milan, Italy, June 24 - 28, 2013 Y1 - 2013 UR - http://link.springer.com/chapter/10.1007/978-3-642-38697-8_21 SN - 978-3-642-38696-1 N1 - referiert SP - 389 EP - 399 PB - Springer CY - Heidelberg [u.a.] ER - TY - CHAP A1 - Heiner, Monika A1 - Schwarick, Martin T1 - CSL model checking of biochemical networks with Interval Decision Diagrams KW - Petri Nets Y1 - 2009 UR - http://www.springerlink.com/content/n11g5021770h8k88/ ER - TY - CHAP A1 - Heiner, Monika A1 - Schwarick, Martin A1 - Tovchigrechko, Alexey A. T1 - DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets KW - Petri Nets Y1 - 2009 ER - TY - THES A1 - Schwarick, Martin T1 - Symbolic on-the-fly analysis of stochastic Petri nets Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-30560 UR - http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf ER -