Transactions on Petri Nets and Other Models of Concurrency III - Jensen, Kurt.; Billington, Jonathan; Koutny, Maciej; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Information theory; Computer simulation; Computer Science; Models and Principles; Software Engineering; Programming Techniques; Mathematical Logic and Formal Languages; Theory of Computation; Simulation and Modeling