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ț: 407.42 lei
- 20% Preț: 414.19 lei
- 20% Preț: 406.29 lei
- 20% Preț: 350.52 lei
- 20% Preț: 412.91 lei
- 20% Preț: 409.34 lei
- 20% Preț: 358.74 lei
- 20% Preț: 413.40 lei
- 20% Preț: 355.22 lei
- 20% Preț: 405.64 lei
- 20% Preț: 418.26 lei
- 20% Preț: 412.26 lei
- 20% Preț: 409.03 lei
- 20% Preț: 409.21 lei
- 20% Preț: 417.43 lei
- 20% Preț: 406.14 lei
- 20% Preț: 425.84 lei
- 20% Preț: 421.64 lei
- 20% Preț: 420.02 lei
- 20% Preț: 347.46 lei
- 20% Preț: 329.91 lei
- 20% Preț: 349.41 lei
- 20% Preț: 634.50 lei
- 20% Preț: 356.64 lei
- 20% Preț: 349.06 lei
- 20% Preț: 417.93 lei
- 20% Preț: 410.98 lei
- 20% Preț: 412.26 lei
- 20% Preț: 643.88 lei
- 20% Preț: 409.85 lei
- 20% Preț: 409.98 lei
- 20% Preț: 352.12 lei
- 20% Preț: 407.42 lei
- 20% Preț: 407.24 lei
- 20% Preț: 412.08 lei
- 20% Preț: 422.59 lei
- 20% Preț: 406.92 lei
- 20% Preț: 405.32 lei
- 20% Preț: 334.94 lei
- 20% Preț: 351.02 lei
- 20% Preț: 403.86 lei
- 20% Preț: 407.24 lei
- 20% Preț: 405.95 lei
- 20% Preț: 410.49 lei
- 20% Preț: 630.62 lei
- 20% Preț: 406.14 lei
- 20% Preț: 403.86 lei
- 20% Preț: 348.59 lei
- 20% Preț: 415.33 lei
- 20% Preț: 414.69 lei
Preț: 637.57 lei
Preț vechi: 796.96 lei
-20% Nou
Puncte Express: 956
Preț estimativ în valută:
122.02€ • 126.74$ • 101.35£
122.02€ • 126.74$ • 101.35£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
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.