Abstract is missing.
- OverviewGérard Roucairol. 1-2
- Petri Net Modelling and Reliability of Distributed AlgorithmsGérard Berthelot, Claude Girault, Gérard Roucairol. 3-10
- Using Petri Nets in Measurements of a Distributed Data Base SystemP. Rolin. 11-22
- On the Problem of Time in NetsHeinrich P. Godbersen. 23-30
- OverviewB. Cohen. 31
- Transforming Nets Along the Syntactic Production of ProgramsEberhard Wegner. 32-37
- Design-Review by Petri-NetsErnst Grill. 38-44
- Concurrency in Functional DescriptionsRaul Camposano. 45-49
- RNL - A Language for Digital Systems Design Based on NetsWolfgang Rosenstiel. 50-55
- Galileo: A Methodology for Modelling and Designing Real Time SystemsF. Vidono, I. López. 56-63
- Petri Nets and Semantics of System DescriptionsKurt Jensen, Morten Kyng. 64-71
- OverviewEike Best. 72-73
- The Relationship between Time and InformationRobert R. Johnson. 74-81
- Information Flow in NetsEike Best. 82-87
- An Exercise in Processes with Infinite PastsGlynn Winskel. 88-95
- Two Alterative Definitions of Synchronic DistanceUrsula Goltz, Wolfgang Reisig, P. S. Thiagarajan. 96-103
- On the Construction of System NetsGert Scheschonk. 104-108
- OverviewWolfgang Reisig. 109-110
- Net Morphisms and Software EngineeringDimitris Christodoulakis, Matthias Moritz. 111-117
- An Equivalence-Notion for Condition/Event-SystemsEngin Sirmen. 118-124
- Recursive NetsWolfgang Reisig. 125-130
- Behaviour of a Place - Transition Net on a Subset of TransitionsCharles André. 131-135
- Stepwise Refinements of Transitions and PlacesIchiro Suzuki, Tadao Murata. 136-141
- Transfer of Graph Constructs in Goguen s Paper to Net ConstructsWolfgang Hinderer. 142-150
- Structural Modifications in Net TheoryDieter Gernert. 151-153
- OverviewOtthein Herzog, Rüdiger Valk. 154-160
- Iterative Methods for the Analysis of Petri NetsJean-Pierre Queille, Joseph Sifakis. 161-167
- Inductive Assertions for Analyzing Reachability SetsHorst Müller. 168-171
- Leakage NotionGérard Memmi. 172-177
- Graph-Theoretical Analysis of a Subclass of Petri NetsOtthein Herzog. 178-182
- Synthesis of Concurrent SystemsMichael Yoeli. 183-186
- Subclasses of Self-Modifying NetsBernd Heinemann. 187-192
- Test on Zero in Petri NetsRüdiger Valk. 193-197
- Deterministic Languages of Petri NetsGuy Vidal-Naquet. 198-202
- A Study of the Projection OperationElöd Knuth, G. Györy, L. Rouyai. 203-207
- OverviewRobert Valette. 208-211
- Petri-Net Implementation of Recovery Strategies in a Large ESSM. Morganti. 212-221
- Petri Nets and Reliable Real Time SystemsRobert Valette. 222-227
- Towards Fault Tolerant Real Time Systems by Using Petri NetsJean-Michel Ayache, Pierre Azéma, Michel Diaz. 228-233
- Treatment of Recovery Problems Using Cuts in Occurence NetsWolfgang Hinderer. 234-239
- Use of the Behaviour Equivalence in Place-Transition Net AnalysisCharles André. 241-250
- Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition NetsGérard Berthelot, Richard Terrat. 251-257
- On the Logic of Concurrency and ConflictGiancarlo Mauri, M. Brambilla. 258-268
- Superposed Automata NetsFiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone. 269-279
- Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex ProtocolGerard Florin, Stéphane Natkin. 280-288
- Weighted Synchronic DistancesUrsula Goltz, Wolfgang Reisig. 289-300
- A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri NetJ. Martinez, Manuel Silva. 301-310
- Constructive Proofs as Programs Executable by PrT NetsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 311-322
- Correctness Proof for the Alternating Bit Protocol by Assertion SystemsHorst Müller. 323-326
- A Fair Competition Between Two or More PartnersAnastasia Pagnoni. 327-337