Limit search to available items
Record 17 of 33
Previous Record Next Record
Book Cover
E-book
Author International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (39th : 2018 : Bratislava, Slovakia)

Title Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings / Victor Khomenko, Olivier H. Roux (eds.)
Published Cham : Springer, 2018

Copies

Description 1 online resource
Series Lecture notes in computer science ; 10877
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 10877.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools
Summary This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools
Notes International conference proceedings
Includes author index
Print version record
Subject Petri nets -- Congresses
Computer multitasking -- Congresses
Software Engineering.
Algorithms & data structures.
Discrete mathematics.
Computer programming / software development.
Computers -- Software Development & Engineering -- General.
Computers -- Data Modeling & Design.
Computers -- Programming -- Algorithms.
Computers -- Data Processing.
Computers -- Programming -- General.
Computer multitasking
Petri nets
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Khomenko, Victor.
Roux, Olivier H.
ISBN 9783319912684
3319912682
Other Titles PETRI NETS 2018