Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Edizione: | 1st ed. 2019. |
| Descrizione fisica: | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
| Disciplina: | 004.24015115 |
| Soggetto topico: | Computer science |
| Algorithms | |
| Computer science—Mathematics | |
| Discrete mathematics | |
| Artificial intelligence—Data processing | |
| Software engineering | |
| Artificial intelligence | |
| Computer Science Logic and Foundations of Programming | |
| Discrete Mathematics in Computer Science | |
| Data Science | |
| Software Engineering | |
| Artificial Intelligence | |
| Persona (resp. second.): | DonatelliSusanna |
| HaarStefan | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Application and Theory of Petri Nets and Concurrency |
| ISBN: | 3-030-21571-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466330303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 11522