Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings: Lecture Notes in Computer Science, cartea 9115
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.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1061.55 lei - 20%
Preț: 307.71 lei - 20%
Preț: 438.69 lei - 20%
Preț: 645.28 lei -
Preț: 410.88 lei - 15%
Preț: 580.46 lei - 17%
Preț: 427.22 lei - 20%
Preț: 596.46 lei -
Preț: 381.21 lei - 20%
Preț: 353.50 lei - 20%
Preț: 1414.79 lei - 20%
Preț: 309.90 lei - 20%
Preț: 583.40 lei - 20%
Preț: 1075.26 lei - 20%
Preț: 310.26 lei - 20%
Preț: 655.02 lei - 20%
Preț: 580.93 lei - 20%
Preț: 340.32 lei - 15%
Preț: 438.59 lei - 20%
Preț: 591.51 lei - 20%
Preț: 649.49 lei - 20%
Preț: 337.00 lei -
Preț: 449.57 lei - 20%
Preț: 607.39 lei - 20%
Preț: 1024.44 lei - 20%
Preț: 579.30 lei - 20%
Preț: 763.23 lei - 20%
Preț: 453.32 lei - 20%
Preț: 575.48 lei - 20%
Preț: 585.88 lei - 20%
Preț: 825.93 lei - 20%
Preț: 763.23 lei - 17%
Preț: 360.19 lei - 20%
Preț: 1183.14 lei - 20%
Preț: 340.32 lei - 20%
Preț: 504.57 lei - 20%
Preț: 369.12 lei - 20%
Preț: 583.40 lei - 20%
Preț: 343.62 lei - 20%
Preț: 350.21 lei - 20%
Preț: 764.89 lei - 20%
Preț: 583.40 lei -
Preț: 389.48 lei - 20%
Preț: 341.95 lei - 20%
Preț: 238.01 lei - 20%
Preț: 538.29 lei
Preț: 335.69 lei
Preț vechi: 419.61 lei
-20% Nou
Puncte Express: 504
Preț estimativ în valută:
64.24€ • 66.66$ • 53.69£
64.24€ • 66.66$ • 53.69£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319194875
ISBN-10: 3319194879
Pagini: 351
Ilustrații: X, 351 p. 129 illus.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.51 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Cham, Switzerland
ISBN-10: 3319194879
Pagini: 351
Ilustrații: X, 351 p. 129 illus.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.51 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Unicode ExplainedJukka K. Korpela-20%Preț: 361.84 lei452.30 lei -
Practical PerforceLaura Wingerd-20%Preț: 195.39 lei244.24 lei -
The Reference Collection: From the Shelf to the WebLinda S. Katz-25%Preț: 151.11 lei201.15 lei -
Preț: 265.02 lei -
Designing Human SystemsSteve Hickey-20%Preț: 185.22 lei231.53 lei -
-20%Preț: 156.40 lei195.50 lei -
-20%Preț: 135.21 lei169.01 lei -
Modern Pirates: Protect Your Company from the Software PoliceAlan L. Plastow-20%Preț: 122.65 lei153.31 lei -
-20%Preț: 310.02 lei387.53 lei -
-20%Preț: 339.34 lei424.17 lei -
-20%Preț: 244.80 lei305.99 lei -
-20%Preț: 324.49 lei405.62 lei -
-20%Preț: 333.72 lei417.15 lei -
-20%Preț: 348.24 lei435.30 lei -
-20%Preț: 339.34 lei424.17 lei -
-20%Preț: 425.37 lei531.71 lei -
Turing Machines with Sublogarithmic SpaceAndrzej Szepietowski-20%Preț: 324.31 lei405.39 lei -
-20%Preț: 325.48 lei406.84 lei -
-20%Preț: 333.88 lei417.34 lei -
Petri Net AlgebraEike Best-18%Preț: 954.31 lei1163.80 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.