Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa. Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. In Jasmin Fisher, editor, Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Volume 5054 of Lecture Notes in Computer Science, pages 48-62, Springer, 2008. [doi]
Abstract is missing.