03555nam 22007575 450 99646633030331620230221152547.03-030-21571-710.1007/978-3-030-21571-2(CKB)4100000008408963(DE-He213)978-3-030-21571-2(MiAaPQ)EBC5929917(PPN)242823564(EXLCZ)99410000000840896320190530d2019 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierApplication 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 Haar1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XV, 471 p. 995 illus., 73 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;115223-030-21570-9 Includes bibliographical references and index.Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions.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.Theoretical Computer Science and General Issues,2512-2029 ;11522Computer scienceAlgorithmsComputer science—MathematicsDiscrete mathematicsArtificial intelligence—Data processingSoftware engineeringArtificial intelligenceComputer Science Logic and Foundations of ProgrammingAlgorithmsDiscrete Mathematics in Computer ScienceData ScienceSoftware EngineeringArtificial IntelligenceComputer science.Algorithms.Computer science—Mathematics.Discrete mathematics.Artificial intelligence—Data processing.Software engineering.Artificial intelligence.Computer Science Logic and Foundations of Programming.Algorithms.Discrete Mathematics in Computer Science.Data Science.Software Engineering.Artificial Intelligence.004.24015115Donatelli Susannaedthttp://id.loc.gov/vocabulary/relators/edtHaar Stefanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466330303316Application and Theory of Petri Nets and Concurrency1905519UNISA