%A G. Roucairol
%T Application of nets to real-time systems
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 1-2

%A G. Berthelot
%A C. Girault
%A G. Roucairol
%T Petri net modelling and reliability of distributed algorithms
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 3-10

%A P. Rolin
%T Using Petri nets in measurements of a distributed data base system
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 11-22

%A H.P. Godbersen
%T On the problem of time in nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 23-30

%A B. Cohen
%T Programming languages and software engineering
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 31

%A E. Wegner
%T Transforming nets along the syntactic production of programs
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 32-37

%A E. Grill
%T Design-review by Petri-nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 38-44

%A R. Camposano
%T Concurrency in functional descriptions
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 45-49

%A W. Rosentiel
%T RNL - a language for digital systems based on nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 50-55

%A I. Vidondo
%A I. Lopez
%T Galileo: a methodology for modelling and designing real time systems
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 56-63

%A K. Jensen
%A N. Kyng
%T Petri nets and semantics of system descriptions
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 64-71

%A E. Best
%T Information flow and concurrency
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 72-73

%A R.R. Johnson
%T The relationship between time and information
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 74-81

%A E. Best
%T Information flow in nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 82-87

%A G. Winskel
%T An exercise in processes with infinite pasts
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 88-95

%A U. Goltz
%A W. Reisig
%A P.S. Thiagarajan
%T Two alternative definitions of synchronic distance
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 96-103

%A G. Scheschonk
%T On the construction of system nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 104-108

%A W. Reisig
%T Net morphisms and higher level net interpretations
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 109-110

%A D. Christoduolakis
%A M. Moritz
%T Net morphisms and software engineering
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 111-117

%A E. Sirmen
%T An equivalence-notion for condition/event systems
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 118-124

%A W. Reisig
%T Recursive nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 125-130

%A C. Andre
%T Behaviour of a place-transition net on a subset of transitions
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 131-135

%A I. Suzuki
%A T. Murata
%T Stepwise refinements of transitions and places
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 136-141

%A W. Hinderer
%T Transfer of graphs constructs in Goguen's paper to net constructs
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 142-150

%A D. Gernert
%T Structural modifications in net theory
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 151-153

%A O. Herzog
%A R. Valk
%T Mathematical analysis and net languages
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 154-160

%A J.P. Queille
%A J. Sifakis
%T Iterative methods for the analysis of Petri nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 161-167

%A H. Muller
%T Inductive assertions for analyzing reachability sets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 168-171

%A G. Memmi
%T Leakage notion
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 172-177

%A O. Herzog
%T Graph-theoretical analysis of a subclass of Petri nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 178-182

%A M. Yoeli
%T Synthesis of concurrent systems
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 183-186

%A B. Heinemann
%T Subclasses of self-modifying nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 187-192

%A R. Valk
%T Test on sero in Petri nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 193-197

%A G. Vidal-Naquet
%T Deterministic languages of Petri nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 198-202

%A E. Knuth
%A G. Gyory
%A L. Rouyai
%T A study of the projection operation
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 203-207

%A R. Valette
%T Reliability and recovery issues
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 208-211

%A M. Morganti
%T Petri-net implementation of recovery strategies in a large ESS
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 212-221

%A R. Valette
%T Petri nets and reliable real time systems
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 222-227

%A J.M. Ayache
%A P. Azema
%A M. Diaz
%T Towards fault tolerant real time systems bu using Petri nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 228-233

%A W. Hinderer
%T Treatment of recovery problems using cuts in occurence nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 234-239

%A C. Andre
%T Use of the behaviour equivalence in place-transition net analysis
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 241-250

%A G. Berthelot
%A R. Terrat
%T Modeling and proofs of a data transfer protocol
by predicate/transition nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 251-257

%A G. Mauri
%A M. Brambilla
%T On the logic of concurrency and conflict
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 258-268

%A F. de\ Cindio
%A G. de\ Michelis
%A L. Pomello
%A C. Simone
%T Superposed automata nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 269-279

%A G. Florin
%A S. Natkin
%T Evaluation based upon stochastic Petri nets
of the maximum throughput of a full-duplex protocol
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 280-288

%A U. Goltz
%A W. Reisig
%T Weighted synchronic distances
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 289-300

%A J. Martinez
%A M. Silva
%T A simple and fast algorithm
to obtain all invariants of a generalized Petri net
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 301-310

%A P. Mignioli
%A U. Moscato
%A M. Ornaghi
%T Constructive proofs as programs executable by PrT nets
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 311-322

%A H. Muller
%T Correctness proof for the alternating bit protocol
by assertion systems
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 323-326

%A A. Pagnoni
%T A fair competition between two or more partners
%B Application and theory of Petri nets
%E Claude Girault
%A Wolfgang Reisig
%S Informatik-Fachberichte
%N 52
%I Springer-Verlag
%C Berlin
%D 1982
%P 327-337