Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings - Franceschinis, Giuliana; Wolf, Karsten; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Information theory; Computer software; Logic design; Computational complexity; Computer Science; Theory of Computation; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Software Engineering; Mathematical Logic and Formal Languages; Logics and Meanings of Programs