1. Transactions on petri nets and other models of concurrency XII. (2017) Editors: Koutny, Maciej, 1958-; Kleijn, Jetty; Penczek, Wojciech Record Type: Book Extent: 1 online resource (xvii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗