|  |
| |
| Artikel-Nr.:
5667A-9783319077338 Herst.-Nr.:
9783319077338 EAN/GTIN:
9783319077338 |
| |
|
| | |
| This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency. Weitere Informationen: | | Author: | Gianfranco Ciardo; Ekkart Kindler | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Petrinets; concurrentsystems; formalmethods; modelchecking; Processmodels; Softwaresystemmodels; Theoryofcomputation, Petri nets, concurrency, concurrent systems, formal methods, model checking, process models, software system models, theory of computation |
| | |
| |