Search Results for Petri nets.

Time and Petri Nets

2024-11-03T04:17:28Z

Author Popova-Zeugmann, Louchka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335059.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41115-1
Format: Electronic Resources
Availability Online Library~1

Stochastic Petri Nets for Wireless Networks

2024-11-03T04:17:28Z

Author Lei, Lei. author. Lin, Chuang. author. Zhong, Zhangdui. author. SpringerLink (Online service)
Preferred Shelf Number XX(518663.1)
Electronic Access https://doi.org/10.1007/978-3-319-16883-8
Format: Electronic Resources
Availability Online Library~1

Discrete, Continuous, and Hybrid Petri Nets

2024-11-03T04:17:28Z

Author David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10669-9
Format: Electronic Resources
Availability Online Library~1

Discrete, Continuous, and Hybrid Petri Nets

2024-11-03T04:17:28Z

Author David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138130
Format: Electronic Resources
Availability Online Library~1

Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings

2024-11-03T04:17:28Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470611647
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-11-03T04:17:28Z

Author Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-11-03T04:17:28Z

Author Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58381-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency X

2024-11-03T04:17:28Z

Author Koutny, Maciej. editor. Desel, Jörg. editor. Haddad, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519204.1)
Electronic Access https://doi.org/10.1007/978-3-662-48650-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency IX

2024-11-03T04:17:28Z

Author Koutny, Maciej. editor. Haddad, Serge. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45730-6
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2024-11-03T04:17:28Z

Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520949.1)
Electronic Access https://doi.org/10.1007/978-3-031-33620-1
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-11-03T04:17:28Z

Author Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-11-03T04:17:28Z

Author Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

2024-11-03T04:17:28Z

Author Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519194.1)
Electronic Access https://doi.org/10.1007/978-3-319-19488-2
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

2024-11-03T04:17:28Z

Author Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07734-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VII

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Preferred Shelf Number ONLINE(334545.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VIII

2024-11-03T04:17:28Z

Author Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334949.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40465-8
Format: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-11-03T04:17:28Z

Author Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2024-11-03T04:17:28Z

Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334651.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency V

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29072-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VI

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35179-2
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

2024-11-03T04:17:28Z

Author Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31131-4
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

2024-11-03T04:17:28Z

Author Kristensen, Lars M. editor. Petrucci, Laure. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21834-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency IV

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18222-8
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

2024-11-03T04:17:28Z

Author Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13675-7
Format: Electronic Resources
Availability Online Library~1

System modeling and control with resource-oriented Petri nets

2024-11-03T04:17:28Z

Author Wu, Naiqi. Zhou, MengChu.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Coloured Petri Nets Modelling and Validation of Concurrent Systems

2024-11-03T04:17:28Z

Author Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b95112
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00899-3
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2024-11-03T04:17:28Z

Author Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02424-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency III

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04856-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency I

2024-11-03T04:17:28Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Billington, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89287-8
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-11-03T04:17:28Z

Author Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources
Availability Online Library~1

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

2024-11-03T04:17:28Z

Author Yoeli, Michael, 1917- Kol, Rakefet.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html John Wiley http://dx.doi.org/10.1002/9780470253410 Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: Electronic Resources
Availability Online Library~1

Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools

2024-11-03T04:17:28Z

Author Hrúz, Branislav. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-877-7
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-11-03T04:17:28Z

Author Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources
Availability Online Library~1

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

2024-11-03T04:17:28Z

Author Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32870-4
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-11-03T04:17:28Z

Author Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767589
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-11-03T04:17:28Z

Author Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136988
Format: Electronic Resources
Availability Online Library~1

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

2024-11-03T04:17:28Z

Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number XX(520586.1)
Electronic Access https://doi.org/10.1007/978-3-031-34214-1
Format: Electronic Resources
Availability Online Library~1

Verification of Data-Aware Processes via Satisfiability Modulo Theories

2024-11-03T04:17:28Z

Author Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number XX(520722.1)
Electronic Access https://doi.org/10.1007/978-3-031-42746-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

2024-11-03T04:17:28Z

Author Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520888.1)
Electronic Access https://doi.org/10.1007/978-3-031-27534-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2024-11-03T04:17:28Z

Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520889.1)
Electronic Access https://doi.org/10.1007/978-3-031-27481-7
Format: Electronic Resources
Availability Online Library~1

Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

2024-11-03T04:17:28Z

Author Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521122.1)
Electronic Access https://doi.org/10.1007/978-3-031-41620-0
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

2024-11-03T04:17:28Z

Author Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520993.1)
Electronic Access https://doi.org/10.1007/978-3-031-35355-0
Format: Electronic Resources
Availability Online Library~1

Carl Adam Petri Life and Science

2024-11-03T04:17:28Z

Author Smith, Einar. author. SpringerLink (Online service)
Preferred Shelf Number XX(518699.1)
Electronic Access https://doi.org/10.1007/978-3-662-48093-9
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

2024-11-03T04:17:28Z

Author Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519034.1)
Electronic Access https://doi.org/10.1007/978-3-319-22053-6
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2024-11-03T04:17:28Z

Author Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519146.1)
Electronic Access https://doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2024-11-03T04:17:28Z

Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519188.1)
Electronic Access https://doi.org/10.1007/978-3-319-15702-3
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-11-03T04:17:28Z

Author Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519259.1)
Electronic Access https://doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers

2024-11-03T04:17:28Z

Author Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518435.1)
Electronic Access https://doi.org/10.1007/978-3-319-26470-7
Format: Electronic Resources
Availability Online Library~1

Optimal supervisory control of automated manufacturing systems

2024-11-03T04:17:28Z

Author Chen, Yufeng, author. Li, ZhiWu, 1967- author.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of finite state based models and applications

2024-11-03T04:17:28Z

Author Wang, Jiacun, editor of compilation.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of dynamic system modeling

2024-11-03T04:17:28Z

Author Fishwick, Paul A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1