"original petri net" - related articles and key terms