11. Transactions on petri nets and other models of concurrency XIII. (2018) Editors: Koutny, Maciej, 1958-; Kristensen, Lars M (Lars Michael); Penczek, Wojciech Record Type: Book Extent: 1 online resource (xvii, 211 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗