عنوان

Application and theory of Petri nets :

شابک

0387111891

شابک

3540111891

شابک

9780387111896

شابک

9783540111894

شماره

b536087

عنوان اصلي

Application and theory of Petri nets :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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.

محل نشرو پخش و غیره

Berlin ; New York ; Heidelberg

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

1982

نام خاص و کميت اثر

1 v. (IX-337 p.) : illustrations ; 25 cm.

عنوان فروست

Informatik-Fachberichte, 52.

متن يادداشت

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.

موضوع مستند نشده

fiabilité

موضوع مستند نشده

Petri nets -- Congresses.

موضوع مستند نشده

protocole accès.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Claude Girault and Woflgang Reisig.

مستند نام اشخاص تاييد نشده

Claude Girault

مستند نام اشخاص تاييد نشده

Wolfgang Reisig

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y