Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981: Informatik-Fachberichte, cartea 52
Editat de C. Girault, W. Reisigen Limba Engleză Paperback – 1982
Din seria Informatik-Fachberichte
- 20%
Preț: 399.89 lei - 20%
Preț: 406.54 lei - 20%
Preț: 398.77 lei - 20%
Preț: 344.08 lei - 20%
Preț: 405.26 lei - 20%
Preț: 401.78 lei - 20%
Preț: 352.15 lei - 20%
Preț: 405.76 lei - 20%
Preț: 348.68 lei - 20%
Preț: 398.15 lei - 20%
Preț: 410.51 lei - 20%
Preț: 404.64 lei - 20%
Preț: 401.45 lei - 20%
Preț: 401.63 lei - 20%
Preț: 409.70 lei - 20%
Preț: 398.63 lei - 20%
Preț: 417.95 lei - 20%
Preț: 413.83 lei - 20%
Preț: 412.27 lei - 20%
Preț: 341.08 lei - 20%
Preț: 323.86 lei - 20%
Preț: 342.66 lei - 20%
Preț: 622.59 lei - 20%
Preț: 350.08 lei - 20%
Preț: 342.66 lei - 20%
Preț: 410.19 lei - 20%
Preț: 403.37 lei - 20%
Preț: 404.64 lei - 20%
Preț: 631.77 lei - 20%
Preț: 402.28 lei - 20%
Preț: 402.41 lei - 20%
Preț: 345.64 lei - 20%
Preț: 399.89 lei - 20%
Preț: 399.71 lei - 20%
Preț: 404.46 lei - 20%
Preț: 414.77 lei - 20%
Preț: 399.40 lei - 20%
Preț: 397.82 lei - 20%
Preț: 328.48 lei - 20%
Preț: 344.57 lei - 20%
Preț: 396.39 lei - 20%
Preț: 399.71 lei - 20%
Preț: 398.47 lei - 20%
Preț: 402.90 lei - 20%
Preț: 618.78 lei - 20%
Preț: 398.63 lei - 20%
Preț: 396.39 lei - 20%
Preț: 342.20 lei - 20%
Preț: 407.64 lei - 20%
Preț: 407.01 lei
Preț: 625.58 lei
Preț vechi: 781.98 lei
-20% Nou
Puncte Express: 938
Preț estimativ în valută:
110.73€ • 129.58$ • 96.87£
110.73€ • 129.58$ • 96.87£
Carte tipărită la comandă
Livrare economică 23 ianuarie-06 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540111894
ISBN-10: 3540111891
Pagini: 352
Ilustrații: X, 337 p.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.56 kg
Ediția:Softcover reprint of the original 1st ed. 1982
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540111891
Pagini: 352
Ilustrații: X, 337 p.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.56 kg
Ediția:Softcover reprint of the original 1st ed. 1982
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
One: First European Workshop On Application And Theory Of Petri Nets - Strasbourg -.- Application of Nets to Real-Time Systems.- Overview.- Petri Net Modelling and Reliability of Distributed Algorithms.- Using Petri Nets in Measurements of a Distributed Data Base System.- On the Problem of Time in Nets.- Programming Languages and Software Engineering.- Overview.- Transforming Nets Along the Syntactic Production of Programs.- Design-Review by Petri-Nets.- Concurrency in Functional Descriptions.- RNL - A Language for Digital Systems Design Based on Nets.- Galileo: A Methodology for Modelling and Designing Real Time Systems.- Petri Nets and Semantics of System Descriptions.- Information Flow and Concurrency.- Overview.- The Relationship Between Time and Information.- Information Flow in Nets.- An Exercise in Processes with Infinite Pasts.- Two Alternative Definitions of Synchronic Distance.- On the Construction of System Nets.- Net Morphisms and Higher Level Net Interpretations.- Overview.- Net Morphisms and Software Engineering.- An Equivalence-Notion for Condition/Event - Systems.- Recursive Nets.- Behaviour of a Place - Transition Net on a Subset of Transitions.- Stepwise Refinements of Transitions and Places.- Transfer of graph constructs in Goguen’s paper to net constructs.- Structural modifications in Net Theory.- Mathematical Analysis and Net Languages.- Overview.- Iterative Methods for the Analysis of Petri Nets.- Inductive Assertions for Analyzing Reachability Sets.- Leakage Notion.- Graph-Theoretical Analysis of a Subclass of Petri Nets.- Synthesis of Concurrent Systems.- Subclasses of Self-Modifying Nets.- Test On Zero in Petri Nets.- Deterministic Languages of Petri Nets.- A Study of the Projection Operation.- Reliability and Recovery Issues.- Overview.-Petri-Net Implementation of Recovery Strategies in a large ESS.- Petri Nets and Reliable Real Time Systems.- Towards Fault Tolerant Real Time Systems by Using Petri Nets.- Treatment of Recovery Problems Using Cuts in Occurence Nets.- Two: Second European Workshop on Application and Theory of Petri Nets - Bad Honnef -.- Use of the Behaviour Equivalence in Place-Transition Net Analysis.- Modeling and Proofs of a Data Transfer Protocol by Predicate/ Transition Nets.- On the Logic of Concurrency and Conflict.- Superposed Automata Nets.- Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol.- Weighted Synchronic Distances.- A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net.- Constructive Proofs as Programs Executable by PrT Nets.- Correctness Proof for the Alternating Bit Protocol by Assertion Systems.- A Fair Competition Between Two or More Partners.