1. Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. (2015) Editors: Campos, Javier, 1963-; Haverkort, Boudewijn R Other Names: International Conference on the Quantitative Evaluation of Systems, 12th Record Type: Book Extent: 1 online resource (xvi, 329 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. (2016) Editors: Agha, Gul A; Houdt, Benny van Other Names: International Conference on the Quantitative Evaluation of Systems, 13th Record Type: Book Extent: 1 online resource (xvii, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Bertrand, Nathalie; Bortolussi, Luca Other Names: International Conference on the Quantitative Evaluation of Systems, 14th Record Type: Book Extent: 1 online resource (xiii, 370 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Modeling discrete-event systems with GPenSIM : an introduction /: an introduction. (2018) Authors: Davidrajuh, Reggie Record Type: Book Extent: 1 online resource (xii, 138 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Distributed embedded controller development with petri nets : application to globally-asynchronous locally-synchronous systems /: application to globally-asynchronous locally-synchronous systems. ([2015]) Authors: Moutinho, Filipe; Gomes, Luís, 1958- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Systems dependability assessment : benefits of petri net models /: benefits of petri net models. (2016) Authors: Aubry, Jean-François; Brînzei, Nicolae; Mazouni, Mohammed-Habib Record Type: Book Extent: 1 online resource, illustrations (black and white, and colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. (2016) Editors: Kordon, Fabrice; Moldt, Daniel Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 37th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Robust modelling and simulation : integration of SIMIO with coloured Petri nets /: integration of SIMIO with coloured Petri nets. (2017) Authors: Mota, Idalia Flores de la Other Names: Guasch, Antoni; Mujica Mota, Miguel; Piera, M. A (Miquel Angel) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. System modeling and control with resource-oriented Petri nets. (©2010) Other Names: Wu, Naiqi; Zhou, MengChu Record Type: Book Extent: 1 online resource (xxii, 284 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗