Papers Accepted for the CPN'99 Workshop
This page contains the final versions of the papers that have been accepted for presentation at CPN Workshop, October 13-15, Aarhus Denmark. All accepted papers will be included in the workshop proceedings which will appear as technical report PB-541 of the Department of Computer Science, University of Aarhus.Most papers are available both as compressed PostScript files and as PDF files. This is done to ease the printing of the documents, we do not recommend to read the papers on the screen.
Note: To use the PDF files you have to install the free Acrobat Reader software. We also propose that you read our Acrobat Reader hints page.
The full proceedings
Preface for the proceedings
Session 1:
Converting Influence Nets With Timing Information To A Discrete Event System Model, A Colored Peri NetL.W. Wagenhals, A.H. Levis
PDF file
PS file
Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols
J.C.A. de Figueiredo, L.M. Kristensen
PDF file
PS file
Session 5:
Generation of Executable Object-based Petri Net Skeletons Using Design/CPND. Moldt, H. Roelke
PDF file
PS file
Automatic Code Generation from Coloured Petri Nets for an Access Control System
K.H. Mortensen
PDF file
PS file
Session 6:
Batch Scripting Facilities for Design/CPNB. Lindstrom, L. Wells
PDF file
PS file
Design and Animation of Colored Petri Nets Models for Traffic Signals
A. Perkusich, L.M. de Araujo, R. de S. Coelho, K.C. Gorgon, A.J.P. Lemos
PDF file
PS file
Session 7:
Redesigning Design/CPN: Integrating Interaction and Petri Nets in UseP. Janecek, A.V. Ratzer, W.E. Mackay
PDF file
PS file
Session 8:
Parameterised Coloured Petri NetsT. Mailund
PDF file
PS file
A CPN Model of the MAC Layer
P.H. Morera, T.M.P. Gonzalez
PDF file
PS file
Session 9:
Modelling and Analysis of a Flowmeter SystemL. Lorentsen
PDF file
PS file
Performance Prediction Model Generator Powered by Occurrence Graph
Analyzer of Design/CPN
I. Shin, A.H. Levis
PDF file
PS file
