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.

Reviewer's Workbench

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
Last updated: Wednesday, 27-Jun-2001 11:11:12 CEST