TY - BOOK AU - Lilius,Johan AU - Penczek,Wojciech 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: 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings SN - 9783642136757 (electronic bk.) AV - QA267 .I58 2010 U1 - 511.35 22 PY - 2010/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Petri nets KW - Congresses KW - Computation by Abstract Devices KW - Software Engineering UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url= ER -