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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Donatelli, Susanna (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Haar, Stefan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Theoretical Computer Science and General Issues ; 11522
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03672nam a2200613 4500
001 978-3-030-21571-2
003 DE-He213
005 20191220131302.0
007 cr nn 008mamaa
008 190530s2019 gw | s |||| 0|eng d
020 |a 9783030215712  |9 978-3-030-21571-2 
024 7 |a 10.1007/978-3-030-21571-2  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.L63 
050 4 |a QA76.5913 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UM  |2 thema 
072 7 |a UYF  |2 thema 
082 0 4 |a 005.1015113  |2 23 
245 1 0 |a Application and Theory of Petri Nets and Concurrency  |h [electronic resource] :  |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. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2019. 
300 |a XV, 471 p. 995 illus., 73 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues ;  |v 11522 
505 0 |a Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. 
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. 
650 0 |a Computer logic. 
650 0 |a Algorithms. 
650 0 |a Computer science-Mathematics. 
650 0 |a Data structures (Computer science). 
650 0 |a Software engineering. 
650 0 |a Artificial intelligence. 
650 1 4 |a Logics and Meanings of Programs.  |0 http://scigraph.springernature.com/things/product-market-codes/I1603X 
650 2 4 |a Algorithm Analysis and Problem Complexity.  |0 http://scigraph.springernature.com/things/product-market-codes/I16021 
650 2 4 |a Discrete Mathematics in Computer Science.  |0 http://scigraph.springernature.com/things/product-market-codes/I17028 
650 2 4 |a Data Structures.  |0 http://scigraph.springernature.com/things/product-market-codes/I15017 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
650 2 4 |a Artificial Intelligence.  |0 http://scigraph.springernature.com/things/product-market-codes/I21000 
700 1 |a Donatelli, Susanna.  |e editor.  |0 (orcid)0000-0002-0911-8457  |1 https://orcid.org/0000-0002-0911-8457  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Haar, Stefan.  |e editor.  |0 (orcid)0000-0002-1892-2703  |1 https://orcid.org/0000-0002-1892-2703  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783030215705 
776 0 8 |i Printed edition:  |z 9783030215729 
830 0 |a Theoretical Computer Science and General Issues ;  |v 11522 
856 4 0 |u https://doi.org/10.1007/978-3-030-21571-2  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)