Abstract is missing.
- Specification and properties of a cache coherence protocol modelClaude Girault, C. Chatelain, Serge Haddad. 1-20
- GAMERU: A language for the analysis and design of human communication pragmatics within organizational systemsFiorella de Cindio, Giorgio De Michelis, Carla Simone. 21-44
- Recent results on the complexity of problems related to Petri netsRodney R. Howell, Louis E. Rosier. 45-72
- Algebraic structure of flows of a regular coloured netSerge Haddad, Claude Girault. 73-88
- On equivalent execution semantics of concurrent systemsRyszard Janicki, Maciej Koutny. 89-103
- Mathematical methods for calculating invariants in Petri netsFritz Krückeberg, Michael Jaxy. 104-131
- On Petri nets with deterministic and exponentially distributed firing timesMarco Ajmone Marsan, Giovanni Chiola. 132-145
- An accurate performance model of CSMA/CD bus LANMarco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli. 146-161
- Petri net models for the lambda-calculusErik Meijer. 162-180
- Fan processesAgathe Merceron. 181-195
- Operational Petri net semantics for CCSPErnst-Rüdiger Olderog. 196-223
- Infinitary languages of Petri nets and logical sentencesElisabeth Pelz. 224-237
- A strong part of concurrencyWolfgang Reisig. 238-272
- Concurrency and continuityC. A. Petri, Einar Smith. 273-292
- Parallel systems specitications with coloured Petri nets and algebraic specificationsJacques Vautherin. 293-308
- Bibliography of Petri netsStefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter. 309-451