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

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