Application and Theory of Petri Nets and Concurrency
Editat de Raymond Devillers, Antti Valmarien Limba Engleză Paperback – 27 mai 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.
Preț: 324.45 lei
Preț vechi: 405.57 lei
-20% Nou
Puncte Express: 487
Preț estimativ în valută:
57.40€ • 66.98$ • 50.19£
57.40€ • 66.98$ • 50.19£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319194875
ISBN-10: 3319194879
Pagini: 364
Ilustrații: X, 351 p. 129 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:2015
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3319194879
Pagini: 364
Ilustrații: X, 351 p. 129 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:2015
Editura: Springer
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Unicode ExplainedJukka K. Korpela-20%Preț: 348.04 lei435.05 lei -
Practical PerforceLaura Wingerd-20%Preț: 188.16 lei235.20 lei -
The Reference Collection: From the Shelf to the WebLinda S. Katz-31%Preț: 155.56 lei226.92 lei -
Preț: 242.24 lei -
Designing Human SystemsSteve Hickey-20%Preț: 177.96 lei222.44 lei -
-20%Preț: 150.25 lei187.81 lei -
-20%Preț: 129.89 lei162.37 lei -
Modern Pirates: Protect Your Company from the Software PoliceAlan L. Plastow-20%Preț: 117.83 lei147.29 lei -
-20%Preț: 299.94 lei374.92 lei -
-20%Preț: 326.42 lei408.02 lei -
Logics of Programs and Their ApplicationsA. Salwicki-20%Preț: 236.54 lei295.68 lei -
-20%Preț: 312.17 lei390.21 lei -
-20%Preț: 321.03 lei401.30 lei -
-20%Preț: 334.98 lei418.71 lei -
-20%Preț: 326.42 lei408.02 lei -
-20%Preț: 409.08 lei511.34 lei -
Turing Machines with Sublogarithmic SpaceAndrzej Szepietowski-20%Preț: 311.98 lei389.98 lei -
-20%Preț: 313.10 lei391.37 lei -
-20%Preț: 321.17 lei401.46 lei -
Petri Net AlgebraEike Best-18%Preț: 917.27 lei1118.62 lei
Public țintă
ResearchCuprins
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.