(1) 10:00 - 10:25
A New Proposal of Petri Net Based Formulation for Analyzing Signaling Pathways
○Chen Li・Shunichi Suzuki・Qi-Wei Ge・Mitsuru Nakata・Hiroshi Matsuno(Yamaguchi Univ.)・Satoru Miyano(Univ. of Tokyo)
(2) 10:25 - 10:50
On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes
○Tatsuya Watanabe・Shingo Yamaguchi・Qi-Wei Ge・Minoru Tanaka(Yamaguchi Univ.)
(4) 11:15 - 11:40
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places
○Atsushi Iriboshi・Satoshi Taoka・Toshimasa Watanabe(Hiroshima Univ.)
(12) 16:05 - 16:30
Improving Computation of Legal Firing Sequences of Petri Nets based on Behavioral Deadlock Avoidance
○Yasutoshi Yoshimoto・Satoshi Taoka・Toshimasa Watanabe(Hiroshima Univ.)