TY - BOOK AU - Franceschinis,Giuliana AU - Wolf,Karsten ED - International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ED - SpringerLink (Online service) TI - Applications and theory of petri nets: 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings SN - 9783642024245 (electronic bk.) AV - QA267 .I56 2009 U1 - 511.3 22 PY - 2009/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Petri nets KW - Congresses KW - Computer Science KW - Mathematical Logic and Formal Languages KW - Software Engineering KW - Theory of Computation KW - Discrete Mathematics in Computer Science KW - Logics and Meanings of Programs KW - Algorithm Analysis and Problem Complexity UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-02424-5 ER -