Abstract is missing.
- PSI: A Petri net based simulator for flexible manufacturing systemsP. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, Robert Valette. 1-14
- Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing sytemHassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez. 15-31
- Concurrency axioms and D-continuous posetsEike Best, Agathe Merceron. 32-47
- Frozen tokens and D-continuity: A study in relating system properties to process propertiesEike Best, Agathe Merceron. 48-61
- Modelling scheduling problems with timed Petri netsJ. Carlier, Philippe Chrétienne, Claude Girault. 62-82
- Infinite behaviour and fairness in Petri netsHeino Carstensen, Rüdiger Valk. 83-100
- Petri net based models for the specification and validation of protocolsMichel Diaz, Pierre Azéma. 101-121
- A note on observable occurrence netsCésar Fernández, Mogens Nielsen, P. S. Thiagarajan. 122-138
- A lattice theoretic view of K-densityCésar Fernández, P. S. Thiagarajan. 139-153
- Fair serializability of iterated transactions using FIFO-netsMarie-Paule Flé, Gérard Roucairol. 154-168
- CSP-programs with individual tokensUrsula Goltz, Wolfgang Reisig. 169-196
- Design and programming of interfaces for monetic applications using Petri netsTheodor Hildebrand. 197-214
- Towards reachability trees for high-level Petri netsPeter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen. 215-233
- The residue of vector sets with applications to decidability problems in Petri netsRüdiger Valk, Matthias Jantzen. 234-258
- The design of a program package for an introductory Petri net courseKurt Jensen. 259-266
- On communication protocol modelling and designGuy Juanole, B. Algayres, J. Dufau. 267-287
- On structural properties of generalized processesVadim E. Kotov, Ludmila Cherkasova. 288-306
- Stepwise construction of non-sequential software systems using a net-based specification languageBernd J. Krämer. 307-330
- Liveness and duality in marked-graph-like predicate/transition netsKurt Lautenbach, Anastasia Pagnoni. 331-352
- Semantics of concurrent systems: a modular fixed-point trace approachAntoni W. Mazurkiewicz. 353-375
- The reachability problem for VASHorst Müller. 376-391
- K-density, N-density and finiteness propertiesHelmut Plünnecke. 392-412
- A net model of a local area network protocolKlaus Voss. 413-437
- In praise of free choice netsP. S. Thiagarajan, Klaus Voss. 438-454
- Computation of flows for unary-predicates/transition-netsJacques Vautherin, Gérard Memmi. 455-467