Application and theory of petri nets and concurrency [electronic resource] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings / Victor Khomenko, Olivier H. Roux (eds.).
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (39th : 2018 : Bratislava, Slovakia); Khomenko, Victor.; Roux, Olivier H.
2018
QA267
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Application and theory of petri nets and concurrency [electronic resource] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings / Victor Khomenko, Olivier H. Roux (eds.).
Meeting Name International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (39th : 2018 : Bratislava, Slovakia)
ISBN 9783319912684 (electronic book)
3319912682 (electronic book)
9783319912677
3319912674
DOI https://doi.org/10.1007/978-3-319-91268-4
Publication Details Cham : Springer, 2018.
Language English
Description 1 online resource.
Item Number 10.1007/978-3-319-91268-4 doi
Call Number QA267
Dewey Decimal Classification 511.3/5
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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Description based on print version record.
Added Author Khomenko, Victor.
Roux, Olivier H.
Series Lecture notes in computer science ; 10877.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783319912677
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Petri Nets Synthesis
Analysis and Model Checking
Languages
Semantics and Expressiveness
Tools.

Browse Subjects

Show more subjects...

Statistics

from
to
Export