"timed petri nets" - related articles and key terms