Tools Exhibition
An exhibition of Petri net tools takes place on Thursday.
It consists of informal demonstrations for small
groups/individuals. There are no scheduled talks. Requests
for participation in the tools exhibition must be sent to the
Tools Exhibition Chair before June 1, 2012 (see
Call for Papers
for details).
They should include a link to the web pages for the tool (or a
short description of the tool). The demonstrators bring their
own machines, while the organisers may be requested to give
access to the Internet.
- Snoopy
http://www-dssz.informatik.tu-cottbus.de/snoopy.html
- The tool Snoopy provides a unifying Petri net framework
which has particularly many application scenarios in
systems and syn- thetic biology. The framework consists of
two levels: uncoloured and coloured. Each level comprises
a family of related Petri net classes, shar- ing
structure, but being specialized by their kinetic
information. Petri nets of all net classes within one
level can be converted into each other, while changing the
level involves user-guided folding or automatic unfold-
ing. Models can be hierarchically structured, allowing for
the mastering of larger networks. Snoopy supports the
simultaneous use of several Petri net classes; the
graphical user interface adapts dynamically to the active
one. Built-in animation and simulation (depending on the
net class) are complemented by export to various analysis
tools. Snoopy facilitates the extension by new Petri net
classes thanks to its generic design.
- Grade/CPNi
http://cpntools.org/gradecpn/start
-
Grade/CPN is a tool for automatically grading several
student assignments using CPN Tools. The tool allows
teachers to create a generic base model with an
interface intended to be filled out by
students. Students fill in the missing parts and this
can be tested against a formal specification and other
formal requirements and assigned scores based on a
configuration set up by the teacher. Grade/CPN provides
an overview of the overall scores of all students as
well as individual reports for each student with scores
and reasons for each score.
- CPN Assistant II
-
- QPME
-
- Sequence Chart Studio
-
