Whole-grain Petri Nets and Processes | Publicación