Cover Image

QR Code

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

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 International Conference on Application of Concurrency to Syste...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Khomenko, Victor. (Editor, http://id.loc.gov/vocabulary/relators/edt), Roux, Olivier H. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Theoretical Computer Science and General Issues ; 10877
Subjects:	Computer logic. Software engineering. Data structures (Computer science). Algorithms. Computer science—Mathematics. Logics and Meanings of Programs. Software Engineering. Data Structures. Algorithm Analysis and Problem Complexity. Discrete Mathematics in Computer Science.
Online Access:	https://doi.org/10.1007/978-3-319-91268-4

Similar Items

Application and Theory of Petri Nets and Concurrency 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain.
Published: (2020)

Application and Theory of Petri Nets and Concurrency 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / edited by Didier Buchs, Josep Carmona.
Published: (2021)

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / edited by Susanna Donatelli, Stefan Haar.
Published: (2019)

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / edited by Jose-Manuel Colom, Jörg Desel.
Published: (2013)

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / edited by Andreas Brandstädt, Ekkehard Köhler, Klaus Meer.
Published: (2018)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.
Published: (2017)

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero.
Published: (2019)

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.
Published: (2017)

Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti.
Published: (2019)

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / edited by Andrea Lodi, Viswanath Nagarajan.
Published: (2019)

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / edited by Ignasi Sau, Dimitrios M. Thilikos.
Published: (2019)

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings / edited by Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez.
Published: (2018)

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
Published: (2015)

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings / edited by Cezar Câmpeanu.
Published: (2018)

Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel Moldt.
Published: (2016)

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains / by Susanne Göbel.
by: Göbel, Susanne., et al.
Published: (2016)

Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers / edited by Seth Gilbert, Danny Hughes, Bhaskar Krishnamachari.
Published: (2019)

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / edited by René van Bevern, Gregory Kucherov.
Published: (2019)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / edited by Mizuho Hoshi, Shinnosuke Seki.
Published: (2018)

Combinatorial Algorithms 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / edited by Paola Flocchini, Lucia Moura.
Published: (2021)

Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / edited by Miroslaw Kutylowski, Jacek Cichon, Przemylsaw Kubiak.
Published: (2008)

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez.
Published: (2016)

Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers / edited by Michael Kaufmann, Dorothea Wagner.
Published: (2007)

Graph Drawing 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers / edited by Seok-Hee Hong, Takao Nishizeki, Wu Quan.
Published: (2008)

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings / edited by Alberto Pardo, Alfredo Viola.
Published: (2014)

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / edited by Daming Zhu, Sergey Bereg.
Published: (2016)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari.
Published: (2015)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler.
Published: (2014)

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers / edited by Yann Disser, Vassilios S. Verykios.
Published: (2019)

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
Published: (2017)

Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / edited by Leah Epstein, Thomas Erlebach.
Published: (2018)

Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings / edited by Lusheng Wang, Daming Zhu.
Published: (2018)

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / edited by Fedor V. Fomin, Vladimir V. Podolskii.
Published: (2018)

Algorithms and Complexity 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings / edited by Pinar Heggernes.
Published: (2019)

Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings / edited by Ding-Zhu Du, Lian Li, Xiaoming Sun, Jialin Zhang.
Published: (2019)

Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings / edited by Mingyu Xiao, Frances Rosamond.
Published: (2017)

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.
Published: (2017)

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / edited by Yo-Sub Han, Kai Salomaa.
Published: (2016)

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / edited by Leen Lambers, Jens Weber.
Published: (2018)

Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings / edited by Inge Li Gørtz, R. Ravi.
Published: (2014)