- M. Morganti:
Petri-Net Implementation of Recovery Strategies in a Large ESS. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 212-221 - Horst Müller:
Inductive Assertions for Analyzing Reachability Sets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 168-171 - Horst Müller:
Correctness Proof for the Alternating Bit Protocol by Assertion Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 323-326 - Anastasia Pagnoni:
A Fair Competition Between Two or More Partners. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 327-337 - Jean-Pierre Queille, Joseph Sifakis:
Iterative Methods for the Analysis of Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 161-167 - Wolfgang Reisig:
Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 109-110 - Wolfgang Reisig:
Recursive Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 125-130 - P. Rolin:
Using Petri Nets in Measurements of a Distributed Data Base System. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 11-22 - Wolfgang Rosenstiel:
RNL - A Language for Digital Systems Design Based on Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 50-55 - Gérard Roucairol:
Overview on Topic 1: Application of Nets to Real-Time Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 1-2 - Gert Scheschonk:
On the Construction of System Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 104-108 - Engin Sirmen:
An Equivalence-Notion for Condition/Event-Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 118-124 - Ichiro Suzuki, Tadao Murata:
Stepwise Refinements of Transitions and Places. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 136-141 - Robert Valette:
Overview on Topic 6: Reliability and Recovery Issues. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 208-211 - Robert Valette:
Petri Nets and Reliable Real Time Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 222-227 - Rüdiger Valk:
Test on Zero in Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 193-197 - Guy Vidal-Naquet:
Deterministic Languages of Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 198-202 - F. Vidono, I. López:
Galileo: A Methodology for Modelling and Designing Real Time Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 56-63 - Eberhard Wegner:
Transforming Nets Along the Syntactic Production of Programs. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 32-37 - Glynn Winskel:
An Exercise in Processes with Infinite Pasts. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 88-95 - Michael Yoeli:
Synthesis of Concurrent Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 183-186