Legal Firing Sequence and Related Problems of Petri Nets. - Toshimasa Watanabe; Yukata Mizobata; Kenji Onaga (PNPM, 1989)