21st International Conference on Application and Theory of Petri Nets
Aarhus, Denmark, June 26-30, 2000

Tool Presentations

As part of the conference there will be The tool presentations have been selected by the PC and they are scheduled for Thursday afternoon.

Tool Demonstrations

The tool demonstrations will take place Wednesday-Friday. Submissions for tool demonstrations must contain a 2-5 page description of the tool and must be received by Kjeld H. Mortensen (khm@daimi.au.dk) before April 7, 2000.

Registered Tools

CASCADE (10Mb)
Affiliation:University of Kaiserslautern
URL:-
Contact:Ralf Wollowski
Platform:Sparc SunOS 5.7
Remarks:Requests access to account beforehand including X11 (firewall?)
Usability test:No
Tool descr.:Received
Entry validated:Yes

CoopnTools
Affiliation:Swiss Federal Institute of Technology
URL:http://lglwww.epfl.ch/Conform/soft.html
Contact:Didier Buchs
Platform:(brings own hardware)
Remarks:-
Usability test:Yes
Tool descr.:Received
Entry validated:No

CPN-AMI
Affiliation:University Paris 6
URL:http://www-src.lip6.fr/cpn-ami
Contact:Fabrice Kordon
Platform:(brings own hardware)
Remarks:Requests internet connection (required) and an XVGA screen (optional).
Firewall: Outgoing TCP 7001
Usability test:Yes
Tool descr.:Received
Entry validated:Yes

CPN/Tools
Affiliation:University of Aarhus
URL:http://www.daimi.au.dk/CPnets/CPN2000/
Contact:Michel Beaudouin-Lafon
Platform:(brings own hardware: Pentium Windows 2000)
Remarks:-
Usability test:Yes
Tool descr.:Received
Entry validated:Yes

Design/CPN
Affiliation:University of Aarhus
URL:http://www.daimi.au.dk/designCPN/
Contact:Kjeld H. Mortensen
Platform:(brings own hardware: HPPA HPUX 10.20)
Remarks:-
Usability test:Yes
Tool descr.:Received
Entry validated:Yes

ExSpect & Woflan
Affiliation:Eindhoven University of Technology
URL:http://www.exspect.nl & http://www.win.tue.nl/~woflan
Contact:Eric Verbeek
Platform:Pentium Windows NT 4
Remarks:-
Usability test:No
Tool descr.:Received
Entry validated:No

GreatSPN (30Mb)
Affiliation:Dipartimento di Informatica, Universitá di Torino
URL:http://www.di.unito.it/~greatspn
Contact:Giuliana Franceschinis
Platform:Sparc SunOS 5.7
Remarks:Requests Motif including the Motif Development Kit and UIL (which is installed on Suns according to kaja)
Requests access to account beforehand (firewall?)
Usability test:Yes
Tool descr.:Received
Entry validated:Yes

INA et al. (15Mb)
Affiliation:Humboldt-Universität zu Berlin
URL:http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina/
Contact:Stephan Roch
Platform:Sparc SunOS 5.7
Remarks:Requests access to account beforehand (firewall?)
Usability test:No
Tool descr.:Received
Entry validated:Yes

LoLA (5Mb)
Affiliation:Humboldt-Universität zu Berlin
URL:http://www.informatik.hu-berlin.de/~kschmidt/lola.html
Contact:Karsten Schmidt
Platform:Sparc SunOS 5.7
Remarks:Requests access to account beforehand (firewall?)
Usability test:No
Tool descr.:Received
Entry validated:Yes

Maria
Affiliation:Helsinki University of Technology
URL:http://www.tcs.hut.fi/Software/maria/
Contact:Marko Mäkelä
Platform:(brings own hardware)
Remarks:-
Usability test:No
Tool descr.:Received
Entry validated:No

OPMSE
Affiliation:National University of Defence Technology
URL:-
Contact:Xueshan Luo
Platform:Pentium Windows NT 4
Remarks:We cannot provide GB Chinese version
Usability test:No
Tool descr.:Received
Entry validated:No

Petri Net Kernel (10Mb + 137Mb Java)
Affiliation:Humboldt-Universität zu Berlin
URL:http://www.informatik.hu-berlin.de/top/pnk/index-engl.html
Contact:Michael Weber
Platform:Linux machine with Python 1.5 (or higher) and Tcl/Tk installed
Machine:beamish
Remarks:Brings own Java installation.
Usability test:No
Tool descr.:Received
Entry validated:Yes

PetShop (10Mb + 70Mb Java)
Affiliation:Université Toulouse I
URL:-
Contact:Rémi Bastide
Platform:Pentium Windows NT 4
Remarks:Requests access to a second NT machine via network (no DHCP).
(Installs Java 2 themselves (70Mb).)
Usability test:Yes
Tool descr.:Received
Entry validated:Yes

Renew
Affiliation:University of Hamburg
URL:http://renew.de
Contact:Olaf Kummer
Platform:Sparc SunOS 5.7
Remarks:Requests any Java installation
Usability test:Yes
Tool descr.:Received
Entry validated:Yes

Snoopy
Affiliation:Technical University of Cottbus
URL:-
Contact:Thomas Menzel
Platform:(brings own hardware)
Remarks:-
Usability test:No
Tool descr.:Received
Entry validated:Yes
Last modified: Tue May 30 13:17:24 2000
URL: www.daimi.au.dk/pn2000/tools.html 		pn2000@daimi.au.dk