Application and theory of petri nets and concurrency [electronic resource] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / Fabrice Kordon, Daniel Moldt (eds).
2016
QA267 .I58 2016eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
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] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / Fabrice Kordon, Daniel Moldt (eds).
ISBN
9783319390864 (electronic book)
3319390864 (electronic book)
9783319390857
3319390864 (electronic book)
9783319390857
Published
Switzerland: Springer, 2016.
Language
English
Description
1 online resource (xvi, 345 pages) : illustrations.
Item Number
10.1007/978-3-319-39086-4 doi
Call Number
QA267 .I58 2016eb
Dewey Decimal Classification
511.3/5
Summary
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016. The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume. .
Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 14, 2016).
Added Author
Series
Lecture notes in computer science ; 9698.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in
Table of Contents
Distinguished Carl Adam Petri Lecture
Petri Net Synthesis
Tools
Applications
Conformance Checking
Time and Stochastic Models
Structural Methods.
Petri Net Synthesis
Tools
Applications
Conformance Checking
Time and Stochastic Models
Structural Methods.