Applications and theory of Petri nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings - International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 2010 : Braga, Portugal); Lilius, Johan; Penczek, Wojciech; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Petri nets -- Congresses; Computation by Abstract Devices; Software Engineering