Search Results for Petri nets.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPetri$002bnets.$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-04T11:36:29ZPrinciple of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-06-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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-04T11:36:29Z2026-06-04T11:36:29ZAuthor 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/>