"Work in Progress" for the CPN'99 Workshop
This page contains abstracts for the "Work in Progress" session of CPN'99. 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.
"Work in Progress"
Object-oriented Modeling of a Bus Tour Travel Agency using Design/CPNDaniel Moldt, Marc Netzebandt, and Frank Wienberg
More Information (HTML)
The Modular Reachability Analyzer
Marko Mäkelä
More Information (HTML)
Modelling and simulation of hybrid systems with an extension of
Coloured Petri Nets
Gebhard Decknatel
More Information (HTML)
k2 -- A Process Coordination Language Based on
Coloured Petri Nets
Claus Assmann, Jan Lukoschus, and Werner Kluge
More Information (PDF)
More Information (Comressed PS)
Petri Nets with Synchronous Channels Applied to a
Sociological Example
Sven Heitsch, Marcel Martens, and Daniel Moldt
More Information(HTML)
Reduced Occurrence Graphs for Timed CPN via Equivalences
Thomas Mailund, Soren Christensen, and Lars Kristensen
More Information (HTML)
A Group-theoretical Approach to Petri Nets
Bruno Brosowski
More Information (PDF)
More Information (Comressed PS)
