Abstract is missing.
- The signing of a contract - a tree-structured applicationBernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth. 1-18
- Checking properties of nets using transformationGérard Berthelot. 19-40
- Petri nets and algebraic calculi of processesGérard Boudol, Gérard Roucairol, Robert de Simone. 41-58
- Fair controls and their realizationHans-Dieter Burkhard. 59-82
- Beta processes of C/E systemsLuca A. Castellano. 83-100
- Synhronic distances in C/E systemsYuan Chong-Yi. 101-121
- Process periods and system reconstructionYuan Chong-Yi. 122-141
- Guidelines on using net analysis techniques with large specificationsG. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano. 142-161
- Making nets abstract and structuresLudwik Czaja. 181-202
- Petri net toolsFrits Feldbrugge. 203-223
- Projections of C/E systemsHartmann J. Genrich. 224-232
- Synchronic structure - a tutorialUrsula Goltz, Yuan Chong-Yi. 233-252
- Safe states in banker like resource allocation problemsDirk Hauschildt, Rüdiger Valk. 253-277
- Coordination technology and Petri netsAnatol W. Holt. 278-296
- Pascal semantics by a combination of denotational semantics and high-level Petri netsKurt Jensen, Erik Meineche Schmidt. 297-329
- On the invariants of coloured Petri netsY. Narahari, Nukala Viswanadham. 330-345
- A logical formalism for the study of the infinite behaviour of Petri netsMichel Parigot, Elisabeth Pelz. 346-361
- Determination of a poset by its co-relationHelmut Plünnecke. 362-380
- Some equivalence notions for concurrent systems. An overviewLucia Pomello. 381-400
- Towards a comprehensive office model integrating information and resourcesGernot Richter, Klaus Voss. 401-417
- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programsJacques Vautherin. 418-434
- Protocol analysis using numerical Petri netsGeoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour. 435-452
- Petri nets, morphisms and compositionalityGlynn Winskel. 453-477
- M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri netsWlodzimierz M. Zuberek. 478-498