@techreport{WillHeiner, author = {Will, J{\"u}rgen and Heiner, Monika}, title = {Petri nets in biology, chemistry, and medicine : bibliography}, publisher = {BTU, Inst. of Computer Science}, address = {Cottbus}, pages = {I, 36 S.}, language = {en} } @article{Deussen, author = {Deussen, Peter H.}, title = {Partial Order Verification of Programmable Logic Controllers}, language = {en} } @misc{HeinerMertkeDeussen, author = {Heiner, Monika and Mertke, Thomas and Deussen, Peter H.}, title = {A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German}, language = {en} } @article{HeinerKochVoss, author = {Heiner, Monika and Koch, Ina and Voss, Klaus}, title = {Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets, Proc.}, language = {en} } @phdthesis{Tovchigrechko, author = {Tovchigrechko, Alexey A.}, title = {Efficient symbolic analysis of bounded petri nets using interval decision diagrams}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-10294}, language = {en} } @misc{GilbertBreitlingHeineretal., author = {Gilbert, David and Breitling, Rainer and Heiner, Monika and Donaldson, Robin}, title = {An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways}, language = {en} } @misc{OPUS4-15078, title = {Multiscale Spatial Computational Systems Biology}, editor = {Gilbert, David and Heiner, Monika and Takahashi, Koichi and Uhrmacher, Adelinde M.}, address = {Dagstuhl}, doi = {10.4230/DagRep.4.11.138}, url = {http://nbn-resolving.de/nbn:de:0030-drops-49723}, pages = {88}, abstract = {This report documents the program and the outcomes of Dagstuhl Seminar 14481 "Multiscale Spatial Computational Systems Biology". This seminar explored challenges arising from the need to model and analyse complex biological systems at multiple scales (spatial and temporal), which falls within the general remit of Computational Systems Biology. A distinguishing factor of the seminar was the modelling exercise -- where teams explored different modelling paradigms, in order to better understand the details of the approaches, their challenges, potential applications, and their pros and cons. This activity was carried out in a collaborative and self-directed manner using the Open Space Technology approach as evidenced by a high degree of communication both within and between the teams. Eight teams were formed, and reports from five of them are included in this document.}, language = {en} }