Journal: it - Information Technology

Volume 56, Issue 2

43 -- 45Ina Koch, Wolfgang Reisig, Falk Schreiber. Petri Nets in the Biosciences
46 -- 54Annegret Wagler. Automatic network reconstruction from experimental time-series data: A survey
55 -- 66Sabrina Proß, Bernhard Bachmann. An object-oriented Petri net simulation tool for hybrid biological processes
67 -- 75Guangxu Jin, Stephen T. C. Wong. Enhanced Petri Net: elucidating the pathway-level mechanism of targeted-therapy drugs
76 -- 81Ming Chen 0005, Ralf Hofestädt. Open problems in Petri net modeling and simulation of biological systems
82 -- 86Andreas Lochbihler. Analysing Java's safety guarantees under concurrency