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

This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System D...

Full description

Bibliographic Details
Other Authors: Donatelli, Susanna (Editor), Haar, Stefan (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2019, 2019
Edition:1st ed. 2019
Series:Theoretical Computer Science and General Issues
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02349nmm a2200409 u 4500
001 EB001869432
003 EBX01000000000000001032806
005 00000000000000.0
007 cr|||||||||||||||||||||
008 190716 ||| eng
020 |a 9783030215712 
100 1 |a Donatelli, Susanna  |e [editor] 
245 0 0 |a Application and Theory of Petri Nets and Concurrency  |h Elektronische Ressource  |b 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings  |c edited by Susanna Donatelli, Stefan Haar 
250 |a 1st ed. 2019 
260 |a Cham  |b Springer International Publishing  |c 2019, 2019 
300 |a XV, 471 p. 995 illus., 73 illus. in color  |b online resource 
505 0 |a Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions 
653 |a Artificial intelligence / Data processing 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Software engineering 
653 |a Computer science 
653 |a Computer science / Mathematics 
653 |a Discrete Mathematics in Computer Science 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Algorithms 
653 |a Artificial intelligence 
653 |a Discrete mathematics 
653 |a Data Science 
700 1 |a Haar, Stefan  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-030-21571-2 
856 4 0 |u https://doi.org/10.1007/978-3-030-21571-2?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions