Search Results for Petri netsSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPetri$002bnets$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-03T21:01:30ZPrinciple of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Time and Petri Netsent://SD_ILS/0/SD_ILS:3350592026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Popova-Zeugmann, Louchka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335059.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Petri Nets for Wireless Networksent://SD_ILS/0/SD_ILS:5186632026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Lei, Lei. author. Lin, Chuang. author. Zhong, Zhangdui. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:1914402026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Discrete, Continuous, and Hybrid Petri Netsent://SD_ILS/0/SD_ILS:1810092026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor David, René. author. Alla, Hassane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138130">http://dx.doi.org/10.1007/b138130</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470611647">http://dx.doi.org/10.1002/9780470611647</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIVent://SD_ILS/0/SD_ILS:4869902026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:3996372026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIIent://SD_ILS/0/SD_ILS:6138612026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIent://SD_ILS/0/SD_ILS:6178132026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency Xent://SD_ILS/0/SD_ILS:5192042026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. Desel, Jörg. editor. Haddad, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency IXent://SD_ILS/0/SD_ILS:4874232026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. Haddad, Serge. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Enhancing stochastic Petri nets with reconfigurability : modeling, analysis and performance evaluationent://SD_ILS/0/SD_ILS:5999922026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Tigane, Samir, author. Kahloul, Laid, author. Mellouk, Abdelhamid, author.<br/>Preferred Shelf Number QA76.9 .C65 T54 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388660">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388660</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Fuzzy Petri Nets for Knowledge Representation, Acquisition and Reasoningent://SD_ILS/0/SD_ILS:5283652026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Shi, Hua. author. Liu, Hu-Chen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Netsent://SD_ILS/0/SD_ILS:6129772026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:6156592026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systemsent://SD_ILS/0/SD_ILS:6112112026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Moutinho, Filipe de Carvalho. author. Santos Gomes, Luís Filipe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Göbel, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333688.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIIent://SD_ILS/0/SD_ILS:3345452026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Preferred Shelf Number ONLINE(334545.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIIIent://SD_ILS/0/SD_ILS:3349492026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334949.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency Vent://SD_ILS/0/SD_ILS:1966052026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency VIent://SD_ILS/0/SD_ILS:1975762026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Kristensen, Lars M. editor. Petrucci, Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>System modeling and control with resource-oriented Petri netsent://SD_ILS/0/SD_ILS:5434752026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Wu, Naiqi., author. Zhou, MengChu.<br/>Preferred Shelf Number TS155.6 .W8 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439808856">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency IVent://SD_ILS/0/SD_ILS:1938332026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Coloured Petri Nets Modelling and Validation of Concurrent Systemsent://SD_ILS/0/SD_ILS:1896372026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b95112">http://dx.doi.org/10.1007/b95112</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency IIIent://SD_ILS/0/SD_ILS:1910802026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency Ient://SD_ILS/0/SD_ILS:1892382026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. Billington, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Verification of systems and circuits using LOTOS, Petri Nets, and CCSent://SD_ILS/0/SD_ILS:2976162026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Yoeli, Michael, 1917- Kol, Rakefet.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Toolsent://SD_ILS/0/SD_ILS:1756092026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approachent://SD_ILS/0/SD_ILS:1835362026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor 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:1841482026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor 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/>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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesisent://SD_ILS/0/SD_ILS:6023972026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Developments and Advances in Defense and Security Proceedings of MICRADS 2022ent://SD_ILS/0/SD_ILS:5274162026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Rocha, Álvaro. editor. Fajardo-Toro, Carlos Hernan. editor. Riola, José María. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)ent://SD_ILS/0/SD_ILS:5269392026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Verification of Data-Aware Processes via Satisfiability Modulo Theoriesent://SD_ILS/0/SD_ILS:5207222026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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, Proceedingsent://SD_ILS/0/SD_ILS:5208882026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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, Proceedingsent://SD_ILS/0/SD_ILS:5208892026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Maintainability of Building Envelope Elements Optimizing Predictive Condition-Based Maintenance Decisionsent://SD_ILS/0/SD_ILS:5270072026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Ferreira, Cláudia. author. Silva, Ana. author. de Brito, Jorge. author. Flores-Colen, Inês. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic approaches to modeling and analysis of biological systemsent://SD_ILS/0/SD_ILS:5984902026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Preferred Shelf Number QH324.2 .S96 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</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, Proceedingsent://SD_ILS/0/SD_ILS:5205862026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number ONLINE<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/>Digital system design using FSMs : a practical learning approachent://SD_ILS/0/SD_ILS:5967382026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Minns, Peter D., author.<br/>Preferred Shelf Number QA267.5 .S4 M56 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Path planning of cooperative mobile robots using discrete event modelsent://SD_ILS/0/SD_ILS:5957292026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Mahulea, Cristian, author. Kloetzer, Marius, author. González, Ramón, author.<br/>Preferred Shelf Number TJ211.415 M34 2020 EB<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-time embedded systemsent://SD_ILS/0/SD_ILS:5937702026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Wang, Jiacun, 1963- author.<br/>Preferred Shelf Number TK7895 .E42<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Graph-Based Modelling in Engineeringent://SD_ILS/0/SD_ILS:6176682026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Zawiślak, Stanisław. editor. Rysiński, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162152026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Prototyping of Concurrent Control Systems Implemented in FPGA Devicesent://SD_ILS/0/SD_ILS:6156862026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Wiśniewski, Remigiusz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117022026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Chaos Theory and Intelligent Controlent://SD_ILS/0/SD_ILS:6144042026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 Vaidyanathan, Sundarapandian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Design of Reconfigurable Logic Controllersent://SD_ILS/0/SD_ILS:6119182026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 21st International Conference on Industrial Engineering and Engineering Management 2014ent://SD_ILS/0/SD_ILS:5305832026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Qi, Ershi. editor. Shen, Jiang. editor. Dou, Runliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formalisms for Reuse and Systems Integrationent://SD_ILS/0/SD_ILS:5306302026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Carl Adam Petri Life and Scienceent://SD_ILS/0/SD_ILS:5186992026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Smith, Einar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal methods in manufacturingent://SD_ILS/0/SD_ILS:5478702026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Campos, J., editor of compilation. Seatzu, Carla, editor of compilation. Xie, Xiaolan, editor of compilation.<br/>Preferred Shelf Number TS183 .F67 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466561564">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Optimal supervisory control of automated manufacturing systemsent://SD_ILS/0/SD_ILS:5436352026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Chen, Yufeng, author. Li, ZhiWu, 1967- author.<br/>Preferred Shelf Number TS183 .C483 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466577541">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of finite state based models and applicationsent://SD_ILS/0/SD_ILS:5435972026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Wang, Jiacun, editor. of compilation.<br/>Preferred Shelf Number QA76.9 .A43 H364 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439846193">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of real-time and embedded systemsent://SD_ILS/0/SD_ILS:5450552026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Lee, Insup. Leung, Joseph Y-T. Son, Sang H.<br/>Preferred Shelf Number QA76.54 .H35 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420011746">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of dynamic system modelingent://SD_ILS/0/SD_ILS:5449992026-06-03T21:01:30Z2026-06-03T21:01:30ZAuthor Fishwick, Paul A.<br/>Preferred Shelf Number QA76.9 .C65 H345 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010855">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~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-03T21:01:30Z2026-06-03T21:01:30ZAuthor 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/>Preferred Shelf Number HD9715 .A2 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781134241262">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>