misc/pipe 2.5_2 DragonFly

Tool for creating and analysing Petri nets

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
Categories: java, misc
Package size: 1669.8 KiB, 2846.8 KiB installed

Description

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.

In the other systems

System

Port

Version

DragonFly

misc/pipe

2.5_2

FreeBSD

misc/pipe

2.5_4

Install

Binary package:

pkg install pipe

From DPorts:

cd /usr/dports/misc/pipe && make install clean

Dependencies

Run dependencies 1

java/openjdk8

No port depends on this one.

Configuration

No options to configure.

Service scripts: none

Message after installing

===>   NOTICE:

The pipe port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing