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.).
2018
QA267
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.).
ISBN
9783319912684 (electronic book)
3319912682 (electronic book)
9783319912677
3319912674
3319912682 (electronic book)
9783319912677
3319912674
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.
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.
Roux, Olivier H.
Series
Lecture notes in computer science ; 10877.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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
All Resources
Table of Contents
Petri Nets Synthesis
Analysis and Model Checking
Languages
Semantics and Expressiveness
Tools.
Analysis and Model Checking
Languages
Semantics and Expressiveness
Tools.