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

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers, Front Matter....Pages I-IX Front Matter....Pages N1-N1 Overview on Topic 1: Application of Nets to Real-Time Systems....Pages 1-2 Petri Net Modelling and Reliability of Distributed Algorithms....Pages 3-10 Using Petri-Nets in Measurement of a Distributed Data Base System....Pages 11-22 On the Problem of Time in Nets....Pages 23-30 Overview on Topic 2: Programming Languages and Software Engineering....Pages 31-31 Transforming nets along the syntactic production of programs....Pages 32-37 Design-Review by Petri-Nets....Pages 38-44 Concurrency in Functional Descriptions....Pages 45-49 RNL — A Language for Digital Systems Design Based on Nets....Pages 50-55 Galileo : A Methodology for Modelling and Designing Real Time Systems....Pages 56-63 Petri Nets and Semantics of System Descriptions....Pages 64-71 Overview on Topic 3: Information Flow and Concurrency....Pages 72-73 The Relationship Between Time and Information....Pages 74-81 Information Flow in Nets....Pages 82-87 An Exercise in Processes with Infinite Pasts....Pages 88-95 Two Alternative Definitions of Synchronic Distance....Pages 96-103 On the Construction of System Nets....Pages 104-108 Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations....Pages 109-110 Net Morphisms and Software Engineering....Pages 111-117 An Equivalence-Notion For Condition/Event-Systems....Pages 118-124 Front Matter....Pages N1-N1 Recursive Nets....Pages 125-130 Behaviour of a Place-Transition Net on a Subset of Transitions....Pages 131-135 Stepwise Refinements of Transitions and Places....Pages 136-141 Transfer of graph constructs in Goguen’s paper to net constructs....Pages 142-150 Structural Modifications in Net Theory....Pages 151-153 Overview on Topic 5: Mathematical Analysis and Net Languages....Pages 154-160 Interactive Methods for the Analysis of Petri Nets....Pages 161-167 Inductive Assertions for Analyzing Reachability Sets....Pages 168-171 Leakage Notion....Pages 172-177 Graph-Theoretical Analysis of A Subclass of Petri-Nets....Pages 178-182 Synthesis of Concurrent Systems....Pages 183-186 Subclasses of Self-Modifying Nets....Pages 187-192 Test on Zero in Petri Nets....Pages 193-197 Deterministic Languages of Petri Nets....Pages 198-202 A Study of the Projection Operation....Pages 203-207 Overview on Topic 6: Reliability and Recovery Issues....Pages 208-211 Petri-Net Implementation of Recovery Strategies in a Large ESS....Pages 212-221 Petri Nets and Reliable Real-Time Systems....Pages 222-227 Towards Fault-Tolerant Real-Time Systems by Using Petri Nets....Pages 228-233 Treatment of recovery problems using cuts in Occurrence Nets....Pages 234-239 Front Matter....Pages 240-240 Use of the Behaviour Equivalence in Place-Transition Net Analysis....Pages 241-250 Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets....Pages 251-257 On the Logic of Concurrency and Conflict....Pages 258-268 Superposed Automata Nets....Pages 269-279 Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol....Pages 280-288 Weighted Synchronic Distances....Pages 289-300 A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net....Pages 301-310 Constructive Proofs as Programs Executable by PrT Nets....Pages 311-322 Correctness Proof for the Alternating Bit Protocol by Assertion Systems....Pages 323-326 A Fair Competition Between Two or More Partners....Pages 327-337