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ț: 415.80 lei
- 20% Preț: 422.71 lei
- 20% Preț: 414.63 lei
- 20% Preț: 357.71 lei
- 20% Preț: 421.40 lei
- 20% Preț: 417.76 lei
- 20% Preț: 366.12 lei
- 20% Preț: 421.91 lei
- 20% Preț: 362.52 lei
- 20% Preț: 413.97 lei
- 20% Preț: 426.86 lei
- 20% Preț: 420.74 lei
- 20% Preț: 417.44 lei
- 20% Preț: 417.62 lei
- 20% Preț: 426.03 lei
- 20% Preț: 414.49 lei
- 20% Preț: 434.60 lei
- 20% Preț: 430.31 lei
- 20% Preț: 428.67 lei
- 20% Preț: 354.59 lei
- 20% Preț: 336.67 lei
- 20% Preț: 356.22 lei
- 20% Preț: 647.61 lei
- 20% Preț: 363.98 lei
- 20% Preț: 356.22 lei
- 20% Preț: 426.53 lei
- 20% Preț: 419.43 lei
- 20% Preț: 420.74 lei
- 20% Preț: 657.16 lei
- 20% Preț: 418.27 lei
- 20% Preț: 418.43 lei
- 20% Preț: 359.35 lei
- 20% Preț: 415.80 lei
- 20% Preț: 415.61 lei
- 20% Preț: 420.57 lei
- 20% Preț: 431.29 lei
- 20% Preț: 415.29 lei
- 20% Preț: 413.65 lei
- 20% Preț: 341.48 lei
- 20% Preț: 358.24 lei
- 20% Preț: 412.17 lei
- 20% Preț: 415.61 lei
- 20% Preț: 414.31 lei
- 20% Preț: 418.93 lei
- 20% Preț: 643.63 lei
- 20% Preț: 414.49 lei
- 20% Preț: 412.17 lei
- 20% Preț: 355.75 lei
- 20% Preț: 423.86 lei
- 20% Preț: 423.22 lei
Preț: 650.73 lei
Preț vechi: 813.41 lei
-20% Nou
Puncte Express: 976
Preț estimativ în valută:
124.54€ • 129.68$ • 105.25£
124.54€ • 129.68$ • 105.25£
Carte tipărită la comandă
Livrare economică 07-21 martie
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.