Arama Sonuçları Petri nets.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dPetri$002bnets.$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-03T02:00:33ZPrinciple of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Yuan, Chongyi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time and Petri Netsent://SD_ILS/0/SD_ILS:3350592026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:5186632026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Lei, Lei. author. Lin, Chuang. author. Zhong, Zhangdui. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:1914402026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1810092026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:2979762026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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 XVIIent://SD_ILS/0/SD_ILS:6023262026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</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:4869902026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:3996372026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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 XIIent://SD_ILS/0/SD_ILS:6138612026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55862-1">https://doi.org/10.1007/978-3-662-55862-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIent://SD_ILS/0/SD_ILS:6178132026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53401-4">https://doi.org/10.1007/978-3-662-53401-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:5192042026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Koutny, Maciej. editor. Desel, Jörg. editor. Haddad, Serge. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:4874232026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Enhancing stochastic Petri nets with reconfigurability : modeling, analysis and performance evaluationent://SD_ILS/0/SD_ILS:5999922026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Tigane, Samir, author. Kahloul, Laid, author. Mellouk, Abdelhamid, author.<br/>Yer Numarası QA76.9 .C65 T54 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388660">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388660</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088352026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-94634-9">https://doi.org/10.1007/978-3-031-94634-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039182026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61433-0">https://doi.org/10.1007/978-3-031-61433-0</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:5209492026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Fuzzy Petri Nets for Knowledge Representation, Acquisition and Reasoningent://SD_ILS/0/SD_ILS:5283652026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Shi, Hua. author. Liu, Hu-Chen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-5154-3">https://doi.org/10.1007/978-981-99-5154-3</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:4848662026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:4012742026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:6156592026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163162026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Netsent://SD_ILS/0/SD_ILS:6129772026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53321-6">https://doi.org/10.1007/978-3-319-53321-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Göbel, Susanne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systemsent://SD_ILS/0/SD_ILS:6112112026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Moutinho, Filipe de Carvalho. author. Santos Gomes, Luís Filipe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20822-0">https://doi.org/10.1007/978-3-319-20822-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6164252026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39086-4">https://doi.org/10.1007/978-3-319-39086-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:5191942026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:4874842026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>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:3346512026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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 VIIIent://SD_ILS/0/SD_ILS:3349492026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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 VIIent://SD_ILS/0/SD_ILS:3345452026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency VIent://SD_ILS/0/SD_ILS:1975762026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency Vent://SD_ILS/0/SD_ILS:1966052026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1970232026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948352026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1938332026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>System modeling and control with resource-oriented Petri netsent://SD_ILS/0/SD_ILS:5434752026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Wu, Naiqi., author. Zhou, MengChu.<br/>Yer Numarası TS155.6 .W8 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439808856">Click here to view.</a><br/>Format: Kitap<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:1924122026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Coloured Petri Nets Modelling and Validation of Concurrent Systemsent://SD_ILS/0/SD_ILS:1896372026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903172026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1910802026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Verification of systems and circuits using LOTOS, Petri Nets, and CCSent://SD_ILS/0/SD_ILS:2976162026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1892382026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1855692026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1756092026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1867402026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1835362026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1841482026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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:1827372026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar 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/>Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesisent://SD_ILS/0/SD_ILS:6023972026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48278-6">https://doi.org/10.1007/978-3-031-48278-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</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:5208882026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:5208892026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Maintainability of Building Envelope Elements Optimizing Predictive Condition-Based Maintenance Decisionsent://SD_ILS/0/SD_ILS:5270072026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Ferreira, Cláudia. author. Silva, Ana. author. de Brito, Jorge. author. Flores-Colen, Inês. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-14767-8">https://doi.org/10.1007/978-3-031-14767-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germanyent://SD_ILS/0/SD_ILS:5290122026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26651-5">https://doi.org/10.1007/978-3-031-26651-5</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:5205862026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.<br/>Yer Numarası ONLINE<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/>Verification of Data-Aware Processes via Satisfiability Modulo Theoriesent://SD_ILS/0/SD_ILS:5207222026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Gianola, Alessandro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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 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:5209932026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Developments and Advances in Defense and Security Proceedings of MICRADS 2022ent://SD_ILS/0/SD_ILS:5274162026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Rocha, Álvaro. editor. Fajardo-Toro, Carlos Hernan. editor. Riola, José María. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-7689-6">https://doi.org/10.1007/978-981-19-7689-6</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:5211222026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Symbolic approaches to modeling and analysis of biological systemsent://SD_ILS/0/SD_ILS:5984902026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Yer Numarası QH324.2 .S96 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)ent://SD_ILS/0/SD_ILS:5269392026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-23149-0">https://doi.org/10.1007/978-3-031-23149-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital system design using FSMs : a practical learning approachent://SD_ILS/0/SD_ILS:5967382026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Minns, Peter D., author.<br/>Yer Numarası QA267.5 .S4 M56 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Path planning of cooperative mobile robots using discrete event modelsent://SD_ILS/0/SD_ILS:5957292026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Mahulea, Cristian, author. Kloetzer, Marius, author. González, Ramón, author.<br/>Yer Numarası TJ211.415 M34 2020 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-time embedded systemsent://SD_ILS/0/SD_ILS:5937702026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Wang, Jiacun, 1963- author.<br/>Yer Numarası TK7895 .E42<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Prototyping of Concurrent Control Systems Implemented in FPGA Devicesent://SD_ILS/0/SD_ILS:6156862026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Wiśniewski, Remigiusz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45811-3">https://doi.org/10.1007/978-3-319-45811-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159702026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162152026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163202026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116162026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61428-1">https://doi.org/10.1007/978-3-319-61428-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph-Based Modelling in Engineeringent://SD_ILS/0/SD_ILS:6176682026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Zawiślak, Stanisław. editor. Rysiński, Jacek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39020-8">https://doi.org/10.1007/978-3-319-39020-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117022026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6119172026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Chaos Theory and Intelligent Controlent://SD_ILS/0/SD_ILS:6144042026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 Vaidyanathan, Sundarapandian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30340-6">https://doi.org/10.1007/978-3-319-30340-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160012026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43904-4">https://doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design of Reconfigurable Logic Controllersent://SD_ILS/0/SD_ILS:6119182026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26725-8">https://doi.org/10.1007/978-3-319-26725-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Technological Innovation for Cyber-Physical Systems 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6176032026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 J. Falcão, António. editor. Vafaei, Nazanin. editor. Najdi, Shirin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31165-4">https://doi.org/10.1007/978-3-319-31165-4</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:5191462026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:5192592026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Polandent://SD_ILS/0/SD_ILS:5293442026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19216-1">https://doi.org/10.1007/978-3-319-19216-1</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:5184352026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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:5186992026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Smith, Einar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Formalisms for Reuse and Systems Integrationent://SD_ILS/0/SD_ILS:5306302026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16577-6">https://doi.org/10.1007/978-3-319-16577-6</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:5190342026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5191882026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>Proceedings of the 21st International Conference on Industrial Engineering and Engineering Management 2014ent://SD_ILS/0/SD_ILS:5305832026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Qi, Ershi. editor. Shen, Jiang. editor. Dou, Runliang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.2991/978-94-6239-102-4">https://doi.org/10.2991/978-94-6239-102-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal methods in manufacturingent://SD_ILS/0/SD_ILS:5478702026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Campos, J., editor of compilation. Seatzu, Carla, editor of compilation. Xie, Xiaolan, editor of compilation.<br/>Yer Numarası TS183 .F67 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466561564">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimal supervisory control of automated manufacturing systemsent://SD_ILS/0/SD_ILS:5436352026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Chen, Yufeng, author. Li, ZhiWu, 1967- author.<br/>Yer Numarası TS183 .C483 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466577541">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of finite state based models and applicationsent://SD_ILS/0/SD_ILS:5435972026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Wang, Jiacun, editor. of compilation.<br/>Yer Numarası QA76.9 .A43 H364 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439846193">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of real-time and embedded systemsent://SD_ILS/0/SD_ILS:5450552026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Lee, Insup. Leung, Joseph Y-T. Son, Sang H.<br/>Yer Numarası QA76.54 .H35 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420011746">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of dynamic system modelingent://SD_ILS/0/SD_ILS:5449992026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar Fishwick, Paul A.<br/>Yer Numarası QA76.9 .C65 H345 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420010855">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>EWork and eBusiness in architecture, engineering and construction : proceedings of the 5th European Conference on Product and Process Modelling in the Building and Construction Industry : ECPPM 2004, 8-10 September 2004, Istanbul, Turkeyent://SD_ILS/0/SD_ILS:5433212026-06-03T02:00:33Z2026-06-03T02:00:33ZYazar European Conference on Product and Process Modelling in the Building and Construction Industry (5th : 2004 : Istanbul, Turkey) Dikbas, Attila. Scherer, R. J. (Raimar J.)<br/>Yer Numarası HD9715 .A2 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781134241262">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>