Executable Petri net models for the analysis of metabolic pathways

DOI10.1007/S100090100058zbMath0993.68063OpenAlexW12256183WikidataQ126569562 ScholiaQ126569562MaRDI QIDQ5953456

Hartmann J. Genrich, Klaus Voss, Robert Küffner

Publication date: 29 September 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100058

zbMATH Keywords

computer-assisted simulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model ⋮ Design Issues for Qualitative Modelling of Biological Cells with Petri Nets ⋮ A Petri net approach to the study of persistence in chemical reaction networks ⋮ Petri net models for the semi-automatic construction of large scale biological networks ⋮ Boundedness analysis for open chemical reaction networks with mass-action kinetics ⋮ Colored Petri nets to model gene mutation and amino acids classification

This page was built for publication: Executable Petri net models for the analysis of metabolic pathways