@article {RP-93-03,
	title = {Qualitative analysis of periodic schedules for deterministically timed Petri net systems},
	journal = {IEICE Transactions},
	year = {1993},
	month = {4},
	author = {M. Silva and T. Watanabe}
}

