researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: it - Information Technology
Home
Index
Info
Issue
Volume
56
, Issue
2
43
--
45
Ina Koch
,
Wolfgang Reisig
,
Falk Schreiber
.
Petri Nets in the Biosciences
46
--
54
Annegret Wagler
.
Automatic network reconstruction from experimental time-series data: A survey
55
--
66
Sabrina Proß
,
Bernhard Bachmann
.
An object-oriented Petri net simulation tool for hybrid biological processes
67
--
75
Guangxu Jin
,
Stephen T. C. Wong
.
Enhanced Petri Net: elucidating the pathway-level mechanism of targeted-therapy drugs
76
--
81
Ming Chen 0005
,
Ralf Hofestädt
.
Open problems in Petri net modeling and simulation of biological systems
82
--
86
Andreas Lochbihler
.
Analysing Java's safety guarantees under concurrency