(13) 13:40 - 14:05
Effective Selection of Transitions in Finding Legal Firing Sequences of Petri Nets
○Satoru Shimada・Satoshi Taoka・Toshimasa Watanabe(Hiroshima Univ.)
(14) 14:05 - 14:30
Fast Heuristic Algorithms based on Avoiding Occurrence of Behavioral Deadlocks for Minimizing Initial Markings of Petri Nets
○Satoshi Taoka(Hiroshima Univ.)・Masahiro Yamauchi(Kinki Univ.)・Toshimasa Watanabe(Hiroshima Univ.)