Papers Accepted for the CPN'98 Workshop
This page contains the final versions of the papers that have been accepted for presentation at CPN'98 Workshop, June 10-12 1998, Aarhus Denmark. Some of the best papers from the workshop has (after an additional round of reviewing and revision) been published in a Special Section on Coloured Petri Nets in the International Journal on Software Tools for Technology Transfer (STTT).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.
Preface for the proceedings
Wednesday, June 10
- Session 1
- S. Gordon and J. Billington:
Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator
PDF file
Compressed PostScript file - Session 2
- F. Burns, A. Koelmans, and A. Yakovlev:
Modelling of Superscalar Processor Architectures with Design/CPN
PDF file
Compressed PostScript fileS. Bulach, H. Baur, H.-J. Pfleiderer, and Z. Kucerovsky:
ALPiNe: A Hardware Computing Platform for High-Level Petri Nets
PDF file
Compressed PostScript file - Session 3
- R.B. Lyngsø and T. Mailund:
Textual Interchange Format for High-Level Petri Nets
PDF file
Compressed PostScript fileC. Maier, D. Moldt, and H. Roelke:
SNIFF: An Input/Output Library for Design/CPN
PDF file
Compressed PostScript file
Thursday, June 11
- Session 4
- W. Hielscher, L. Urbszat, C. Reinke, and W. Kluge:
On Modelling Train Traffic in a Model Train System
PDF file
Compressed PostScript fileL. Jansen, M. Meyer zu Hörste, and E. Schnieder:
Technical Issues in Modelling the European Train Control System (ETCS) Using Coloured Petri Nets and the Design/CPN Tools
PDF file
Compressed PostScript file - Session 5
- B. Lindstrøm and L. Wells:
Simulation Based Performance Analysis in Design/CPN
PDF file
Compressed PostScript fileO. Kummer, D. Moldt, and F. Wienberg:
A Framework for Interacting Design/CPN- and Java-Processes
PDF file
Compressed PostScript file - Session 6
- L.W. Wargenhals, I. Shin, and A.H. Levis:
Executable Models of Influence Nets Using Design/CPN
PDF file
Compressed PostScript fileH.J. Genrich:
Experimental Symbolic Analysis of Net Systems
PDF file
Compressed PostScript file
Friday, June 12
- Session 7
- G. Moncelet, S. Christensen, H. Demmou, M. Paludetto, and J. Porras:
Dependability Evaluation of a Simple Mechatronic System Using Coloured Petri Nets
PDF file
Compressed PostScript fileJ. Xu and J. Kuusela:
Modeling The Execution Architecture of Mobile Phone Software System by colored Petri Nets
PDF file
Compressed PostScript file - Session 8
- M.A. Jiffry:
Petri Net Analysis of the MASCOT Pool IDA Communication Mechanisms
PDF file
Compressed PostScript fileB. Kolics and K.M. Hangos:
A CPN Model of an Internet Object Cache
PDF file
Compressed PostScript file - Session 9
- W.M. Zuberek, R. Govindarajan, and F. Suciu:
Timed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors
PDF file
Compressed PostScript fileL. Nigro and F. Pupo:
Using Design/CPN for the Schedulability Analysis of Actor Systems with Timing Constraints
PDF file
Compressed PostScript file
