(Ilmumisaeg: 27-May-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031336201)
This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book wer...Loe edasi...
(Ilmumisaeg: 27-May-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031336201)
This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book wer...Loe edasi...
(Ilmumisaeg: 13-Jun-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031066535)
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully revi...Loe edasi...
(Ilmumisaeg: 13-Jun-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031066535)
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully revi...Loe edasi...
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in...Loe edasi...
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in...Loe edasi...
This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due t...Loe edasi...
This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due t...Loe edasi...
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 20-Nov-2018, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662583814)
The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th Internat...Loe edasi...
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 20-Nov-2018, EPUB+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662583814)
The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th Internat...Loe edasi...
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. T...Loe edasi...
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. T...Loe edasi...
(Ilmumisaeg: 29-May-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319912684)
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th Interna...Loe edasi...
(Ilmumisaeg: 29-May-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319912684)
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th Interna...Loe edasi...
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Sari: Transactions on Petri Nets and Other Models of Concurrency
(Ilmumisaeg: 19-Sep-2017, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662558621)
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th Internat...Loe edasi...
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Sari: Transactions on Petri Nets and Other Models of Concurrency
(Ilmumisaeg: 19-Sep-2017, EPUB+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662558621)
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th Internat...Loe edasi...
(Ilmumisaeg: 01-Sep-2016, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662534014)
The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th Internat...Loe edasi...
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 26-Aug-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319231655)
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at...Loe edasi...
(Ilmumisaeg: 23-Aug-2014, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662445846)
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 23-Jul-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642401848)
This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks...Loe edasi...
