12th International Conference on Application and Theory of Petri Nets に参加して