Ижил төстэй зүйлс: Time and Petri Nets /