Applications and theory of petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings - International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 2009 : Paris, France); Franceschinis, Giuliana; Wolf, Karsten; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Petri nets -- Congresses; Computer Science; Mathematical Logic and Formal Languages; Software Engineering; Theory of Computation; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity