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