Petri nets are a popular graphical way of modeling concurrent systems such as communications protocols, multiprocessor computers etc. With Petri nets it is possible to assess the correctness of systems for example by verifying that the system cannot deadlock, that there cannot be any buffer overflows etc. PIPEs main aim is to improve on existing tools available for modeling Petri Nets. A key design feature is the modular approach adopted for analysis, enabling new modules to written easily and powerfully, using built-in data layer methods for standard calculations. Eight analysis modules have been written (so far) including Invariant Analysis, State-Space Analysis (deadlock, etc), Simulation Analysis & Classification. PIPE adheres to the latest XML Petri net standard (PNML). File format for saving and loading Petri-Nets is also extensible through the use of XSLT, the default being PNML. WWW: http://pipe2.sourceforge.net/ ogo' rowspan='2'>cgit logo index : freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/graphics/ksaneplugin
Commit message (Expand)AuthorAgeFilesLines
* KDE/FreeBSD team presents KDE SC 4.8.4, probably the last release in 4.8.x se...makc2012-06-152-3/+2
* - Convert USE_QT_VER=4 and QT_COMPONETS to USE_QT4miwi2012-06-061-2/+1
* - update png to 1.5.10dinoex2012-06-011-0/+1
* KDE/FreeBSD team presents long awaited KDE SC 4.8.3!makc2012-05-252-7/+4
* - Bump PORTREVISION to chase the update of multimedia/libvpxashish2012-02-161-0/+1
* The KDE/FreeBSD team is pleased to announce KDE SC 4.7.4, whichavilla2012-01-251-2/+2
* The KDE on FreeBSD team is pleased to update the KDE4 ports to 4.7.3.rakuco2011-11-141-2/+2