Modeling of Signaling Pathways Based on Petri nets Hiroshi Matsuno Graduate School of Science and Engineering Yamaguchi University International Symposium.