Application and Theory of Petri Nets and Concurrency
Springer International Publishing (Verlag)
978-3-319-19487-5 (ISBN)
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.
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.- Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs.- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers.- On Interval Process Semantics of Petri Nets with Inhibitor Arcs.- An SRN-Based Resiliency Quantification Approach.- Non-atomic Transition Firing in Contextual Nets.- Discrete Parameters in Petri Nets.- Negotiation Programs.- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.- Charlie - An Extensible Petri Net Analysis Tool.- Petri Nets with Structured Data.- On the Reversibility of Live Equal-Conflict Petri Nets.- SNAKES: A Flexible High-Level Petri Nets Library.- Characterizing Stable Inequalities of Petri Nets.- Process Discovery Using Localized Events.- New Search Strategies for the Petri Net CEGAR Approach.- Workflow Management Principles for Interactions Between Petri Net-Based Agents.
| Erscheint lt. Verlag | 27.5.2015 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | X, 351 p. 129 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | business process modeling • Concurrency • Concurrent Systems • formal methods • Model Checking • Models of Computation • Petri Nets • process models • Program Semantics • Real-Time Systems • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • software notations and tools • software system models • Stochastic Processes • Theory of Computation • verification by model checking |
| ISBN-10 | 3-319-19487-9 / 3319194879 |
| ISBN-13 | 978-3-319-19487-5 / 9783319194875 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
