Search Results for Petri nets. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPetri$002bnets.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-24T03:31:19Z
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520949
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520949.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33620-1">https://doi.org/10.1007/978-3-031-33620-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520586
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number XX(520586.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34214-1">https://doi.org/10.1007/978-3-031-34214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520993
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520993.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35355-0">https://doi.org/10.1007/978-3-031-35355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521122
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521122.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41620-0">https://doi.org/10.1007/978-3-031-41620-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520722.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42746-6">https://doi.org/10.1007/978-3-031-42746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520888
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520888.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27534-0">https://doi.org/10.1007/978-3-031-27534-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2024-12-24T03:31:19Z
2024-12-24T03:31:19Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520889.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>