"Work in Progress" for the CPN'01 Workshop

This page contains abstracts for the "Work in Progress" session of CPN'01.

"Work in Progress"

Alex Tovchigrechko
Using Design/CPN for Verification of Programmable Logic Controllers
Abstract (HTML)

Pavol Barger
Dynamical Reliability and Availability Evaluation and Validation of Distributed Control Systems
Abstract (HTML)

Last modified: Thu Aug 2 14:47:46 2001 -- CP-nets Webmaster
http://www.daimi.au.dk/CPnets/workshop01/cpnwip/