Petri Net games, examples and quizzes for education, contest and fun