Arama Sonuçları Petri nets.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dPetri$002bnets.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list2025-01-04T10:16:28ZTime and Petri Netsent://SD_ILS/0/SD_ILS:3350592025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Popova-Zeugmann, Louchka. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335059.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41115-1">http://dx.doi.org/10.1007/978-3-642-41115-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Petri Nets for Wireless Networksent://SD_ILS/0/SD_ILS:5186632025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Lei, Lei. author. Lin, Chuang. author. Zhong, Zhangdui. author. SpringerLink (Online service)<br/>Yer Numarası XX(518663.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16883-8">https://doi.org/10.1007/978-3-319-16883-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:1914402025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10669-9">http://dx.doi.org/10.1007/978-3-642-10669-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:1810092025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138130">http://dx.doi.org/10.1007/b138130</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedingsent://SD_ILS/0/SD_ILS:2979762025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th : 2008 : Xi'an Shi, China) Hee, Kees Max van, 1946- Valk, R. (Rüdiger) Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9780470611647">http://dx.doi.org/10.1002/9780470611647</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIVent://SD_ILS/0/SD_ILS:4869902025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-60651-3">https://doi.org/10.1007/978-3-662-60651-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:3996372025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58381-4">https://doi.org/10.1007/978-3-662-58381-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency Xent://SD_ILS/0/SD_ILS:5192042025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Koutny, Maciej. editor. Desel, Jörg. editor. Haddad, Serge. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519204.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48650-4">https://doi.org/10.1007/978-3-662-48650-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency IXent://SD_ILS/0/SD_ILS:4874232025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Koutny, Maciej. editor. Haddad, Serge. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45730-6">https://doi.org/10.1007/978-3-662-45730-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209492025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520949.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848662025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012742025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191942025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519194.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19488-2">https://doi.org/10.1007/978-3-319-19488-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIIIent://SD_ILS/0/SD_ILS:3349492025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334949.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIIent://SD_ILS/0/SD_ILS:3345452025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Yer Numarası ONLINE(334545.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346512025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334651.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency Vent://SD_ILS/0/SD_ILS:1966052025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970232025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIent://SD_ILS/0/SD_ILS:1975762025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35179-2">http://dx.doi.org/10.1007/978-3-642-35179-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948352025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Kristensen, Lars M. editor. Petrucci, Laure. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21834-7">http://dx.doi.org/10.1007/978-3-642-21834-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency IVent://SD_ILS/0/SD_ILS:1938332025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924122025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13675-7">http://dx.doi.org/10.1007/978-3-642-13675-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System modeling and control with resource-oriented Petri netsent://SD_ILS/0/SD_ILS:2915062025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Wu, Naiqi. Zhou, MengChu.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439808856">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coloured Petri Nets Modelling and Validation of Concurrent Systemsent://SD_ILS/0/SD_ILS:1896372025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b95112">http://dx.doi.org/10.1007/b95112</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903172025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency IIIent://SD_ILS/0/SD_ILS:1910802025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04856-2">http://dx.doi.org/10.1007/978-3-642-04856-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification of systems and circuits using LOTOS, Petri Nets, and CCSent://SD_ILS/0/SD_ILS:2976162025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Yoeli, Michael, 1917- Kol, Rakefet.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9780471704492">Available by subscription from Safari Books Online</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html">http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470253410">http://dx.doi.org/10.1002/9780470253410</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471704492">http://proquest.tech.safaribooksonline.de/9780471704492</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency Ient://SD_ILS/0/SD_ILS:1892382025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Billington, Jonathan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89287-8">http://dx.doi.org/10.1007/978-3-540-89287-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1855692025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Toolsent://SD_ILS/0/SD_ILS:1756092025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-877-7">http://dx.doi.org/10.1007/978-1-84628-877-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867402025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73094-1">http://dx.doi.org/10.1007/978-3-540-73094-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approachent://SD_ILS/0/SD_ILS:1835362025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:1841482025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827372025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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, Proceedingsent://SD_ILS/0/SD_ILS:5205862025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.<br/>Yer Numarası XX(520586.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211222025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521122.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification of Data-Aware Processes via Satisfiability Modulo Theoriesent://SD_ILS/0/SD_ILS:5207222025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Gianola, Alessandro. author. SpringerLink (Online service)<br/>Yer Numarası XX(520722.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208882025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520888.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520889.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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, Proceedingsent://SD_ILS/0/SD_ILS:5209932025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520993.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papersent://SD_ILS/0/SD_ILS:5184352025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518435.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26470-7">https://doi.org/10.1007/978-3-319-26470-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Carl Adam Petri Life and Scienceent://SD_ILS/0/SD_ILS:5186992025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Smith, Einar. author. SpringerLink (Online service)<br/>Yer Numarası XX(518699.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48093-9">https://doi.org/10.1007/978-3-662-48093-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5190342025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519034.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22053-6">https://doi.org/10.1007/978-3-319-22053-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:5191462025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519146.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192592025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21145-9">https://doi.org/10.1007/978-3-319-21145-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5191882025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519188.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15702-3">https://doi.org/10.1007/978-3-319-15702-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimal supervisory control of automated manufacturing systemsent://SD_ILS/0/SD_ILS:2872782025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Chen, Yufeng, author. Li, ZhiWu, 1967- author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466577541">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of finite state based models and applicationsent://SD_ILS/0/SD_ILS:2916512025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Wang, Jiacun, editor of compilation.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439846193">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of dynamic system modelingent://SD_ILS/0/SD_ILS:2865752025-01-04T10:16:28Z2025-01-04T10:16:28ZYazar Fishwick, Paul A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420010855">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>