| Document Type
|
:
|
BL
|
| Record Number
|
:
|
713938
|
| Doc. No
|
:
|
b536087
|
| Main Entry
|
:
|
edited by Claude Girault and Woflgang Reisig.
|
| Title & Author
|
:
|
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\ edited by Claude Girault and Woflgang Reisig.
|
| Publication Statement
|
:
|
Berlin ; New York ; Heidelberg: Springer-Verlag, 1982
|
| Series Statement
|
:
|
Informatik-Fachberichte, 52.
|
| Page. NO
|
:
|
1 v. (IX-337 p.) : illustrations ; 25 cm.
|
| ISBN
|
:
|
0387111891
|
|
|
:
|
: 3540111891
|
|
|
:
|
: 9780387111896
|
|
|
:
|
: 9783540111894
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
fiabilité
|
| Subject
|
:
|
Petri nets -- Congresses.
|
| Subject
|
:
|
protocole accès.
|
| Added Entry
|
:
|
Claude Girault
|
|
|
:
|
Wolfgang Reisig
|