Search Results for Petri nets. - Narrowed by: 2006SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPetri$002bnets.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026te$003dILS$0026ps$003d300?dt=list2024-10-16T09:13:41ZAdvances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approachent://SD_ILS/0/SD_ILS:1835362024-10-16T09:13:41Z2024-10-16T09:13:41ZAuthor Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841482024-10-16T09:13:41Z2024-10-16T09:13:41ZAuthor Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>