DECO is a system for computing, possibly infinite, reachability sets of
Petri Nets using the decompositional method presented in the PhD thesis
of Hans Olsen. The system can be used for verifying safety properties
and checking deadlock. DECO runs under SICStus Prolog 3#5.
The Reviewer's workbench is a CGI script for managing the work of
program committees. The system is written in SICStus Prolog and runs as
a back-end to the Cern and Apache Web server. The system was
successfully used in conjunction with the PC work of the International
Logic Programming Symposium 97. Log in as "Sam Guest", password "guest".
Copyright © 1997 Ulf Nilsson
Wednesday, 27-Jun-2001 11:11:12 CEST