Talk:International Conference on Applications and Theory of Petri Nets and Concurrency