6. APN 1985: Espoo, Finland
Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers.
Lecture Notes in Computer Science 222 Springer 1986, ISBN 3-540-16480-4 
- Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth:
The signing of a contract - a tree-structured application.
1-18
- Gérard Berthelot:
Checking properties of nets using transformation.
19-40
- Gérard Boudol, Gérard Roucairol, Robert de Simone:
Petri nets and algebraic calculi of processes.
41-58
- Hans-Dieter Burkhard:
Fair controls and their realization.
59-82
- Luca A. Castellano:
Beta processes of C/E systems.
83-100
- Yuan Chong-Yi:
Synhronic distances in C/E systems.
101-121
- Yuan Chong-Yi:
Process periods and system reconstruction.
122-141
- G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano:
Guidelines on using net analysis techniques with large specifications.
142-161
- Ludwik Czaja:
Making nets abstract and structures.
181-202
- Frits Feldbrugge:
Petri net tools.
203-223
- Hartmann J. Genrich:
Projections of C/E systems.
224-232
- Ursula Goltz, Yuan Chong-Yi:
Synchronic structure - a tutorial.
233-252
- Dirk Hauschildt, Rüdiger Valk:
Safe states in banker like resource allocation problems.
253-277
- Anatol W. Holt:
Coordination technology and Petri nets.
278-296
- Kurt Jensen, Erik Meineche Schmidt:
Pascal semantics by a combination of denotational semantics and high-level Petri nets.
297-329
- Y. Narahari, Nukala Viswanadham:
On the invariants of coloured Petri nets.
330-345
- Michel Parigot, Elisabeth Pelz:
A logical formalism for the study of the infinite behaviour of Petri nets.
346-361
- Helmut Plünnecke:
Determination of a poset by its co-relation.
362-380
- Lucia Pomello:
Some equivalence notions for concurrent systems. An overview.
381-400
- Gernot Richter, Klaus Voss:
Towards a comprehensive office model integrating information and resources.
401-417
- Jacques Vautherin:
Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.
418-434
- Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour:
Protocol analysis using numerical Petri nets.
435-452
- Glynn Winskel:
Petri nets, morphisms and compositionality.
453-477
- Wlodzimierz M. Zuberek:
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.
478-498
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
