The PNVis Project
PNVis is an application for the
Petri Net Kernel (PNK), which supports
the 3D-visualization of systems that are modelled as Petri nets.
To this end, the Petri net model is equipped with some additional information
on the physical properties and on the continuous behaviour of the
objects of the underlying system.
The current implementation of PNVis focuses on those physical
aspects that are important for a 3D-visualization. However, we plan
to use this and some more information on the physical properties
of the system to do also analysis and verification.
More information on the objectives and concepts of PNVis can be found
in the following paper:
- Ekkart Kindler, Csaba Páles:
3D-Visualization of Petri Net Models: A concept.
In: G. Juhas, R. Lorenz (eds.): Workshop Algorithmen und Werkzeuge
für Petrinetze, Eichstätt, September 2003.
Licence
The PNVis project is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License
as published by the Free Software Foundation; version 2 of the License.
PNVis is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
Contact
For more information or for reporting bugs, please, contact
Csaba Páles (cpales@upb.de)
or
Ekkart Kindler
(kindler@upb.de).
Downloads
Version 0.8.0 of PNVis is now ready for download. PNVis runs on all systems
on which Java (j2re or j2se) version 1.4.2 and Java3D version
1.3.1 are installed (we have tested it on Windows and Linux systems, only).
Note that PNVis is still in an experimental phase, and not all desirable
features are implemented yet.
There are different ways of installing PNVis on your system. In order
to decide which way suits you best, see the explanations below. The
choice depends on whether you have the PNK installed already or whether
you would like to modify PNVis yourself. The easiest way of getting PNVis
started is the first one.
- README: The installation instructions and
some information on how to start PNVis and on how to use the
visualization.
- PNVis_0.8.0_executable_with_PNK.zip:
The PNVis executables along with a jar file of the Petri Net Kernel and
some sample nets. To install PNVis,
just unzip the files to some directory and start PNVis by calling
pnk.bat (Windows) or pnk.sh (Linux).
- PNVis_0.8.0_executable.zip:
The PNVis executables without the jar files for the Petri Net Kernel. You
must install PNVis as an application of the PNK yourself. The
README file explains how to do that. Note that
the sample nets are not included. You must download them separately from
below.
- PNVis_0.8.0_sampleNets.zip:
Some example nets for demonstrating PNVis' functions. They include all
necessary information, in particular, they include the VRML models of
the objects. See the README file for information
on how to open an example net and on how to
start the visualization for an open net.
- PNVis_0.8.0_sources.zip:
The PNVis Java source code.