| Description |
1 online resource (x, 351 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 9115 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 9115. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Contents |
Intro; Preface; Organization; Contents; On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets; 1 Introduction; 2 Background on Molecular Walkers; 3 Stochastic Models and Analysis Techniques; 3.1 Continuous-Time Markov Chains (CTMC); 3.2 Quantitative Verification for CTMCs; 3.3 Numerical Verification Methods for CTMCs; 3.4 Statistical Model Checking; 3.5 Stochastic Petri Nets; 4 Modelling DNA Walkers; 5 Experiments and Results; 5.1 Tools; 5.2 The Setting; 5.3 Control Model; 5.4 Single Junction Circuit; 5.5 Two-Level Junction Circuit |
|
5.6 Improving Reliability5.7 Exclusive Disjunction; 6 Comparison of Model Checkers; 7 Conclusion; References; Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs; 1 Introduction; 2 Overview of Process Mining Operations; 3 Event Structures as a Foundation for Process Mining; 3.1 Event Structures; 3.2 From Logs to Event Structures; 3.3 Comparison of Event Structures; 3.4 Folding of Event Structures; 3.5 Process Mining Operations and Event Structures; 4 Outlook; References |
|
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers1 Introduction; 2 Basic Definitions and Notations; 2.1 Mathematical Preliminaries; 2.2 Labelled Partial Orders; 2.3 Continuous Concurrent Semirings; 2.4 Petri Nets; 3 Weighted LPOs; 4 Petri Net Transducers; 5 Algorithms; 5.1 Computing the weight of WLPOs; 5.2 Computing the output weight of input-output-pairs; 6 Tool Support; 6.1 Functionality; 6.2 Architecture; 7 Related Work; 8 Further Work; References; On Interval Process Semantics of Petri Nets with Inhibitor Arcs; 1 Introduction |
|
2 Partial, Total, Stratified and Interval Orders3 Stratified and Interval Order Structures; 4 Elementary Nets with Inhibitor Arcs; 5 Interval Elementary Net with Inhibitor Arcs; 6 Process Semantics for Elementary Nets with Inhibitor Arcs; 7 Interval Processes and Interval Order Structures; 8 Final Comments; References; An SRN-Based Resiliency Quantification Approach; 1 Introduction; 2 Resiliency Quantification; 2.1 Definition of Change; 2.2 Problem Formulation; 2.3 Running Example; 3 Using SRN for Resiliency Quantification; 3.1 Resiliency Analysis though SRNs |
|
3.2 An SRN Model for the Running Example3.3 A Formalization; 4 A Resiliency Quantification Technique; 5 An Analogy with the DSPN Approach; 6 Related Research; 7 Conclusions and Future Work; References; Non-atomic Transition Firing in Contextual Nets; 1 Introduction; 2 Contextual Petri Nets; 2.1 Definition; 2.2 Atomic Semantics; 3 Non-atomic Semantics; 3.1 Step Semantics; 3.2 Splitting Transitions for Understanding Steps; 3.3 Interval Semantics; 3.4 Comparison of Sequential Semantics; 4 Non-atomicity and Partial Order Semantics; 4.1 Processes Under Atomic Semantics |
| Summary |
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency |
| Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed June 11, 2015) |
| Subject |
Petri nets -- Congresses
|
|
Computer multitasking -- Congresses
|
|
Computer multitasking
|
|
Petri nets
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Devillers, Raymond, editor
|
|
Valmari, Antti, editor
|
| ISBN |
9783319194882 |
|
3319194887 |
|
3319194879 |
|
9783319194875 |
|
