BSD Ports

misc/pipe 2.5_4 FreeBSD

Tool for creating and analysing Petri nets

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Categories
misc, java
Package size
1715.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

SystemPortVersion
FreeBSDmisc/pipe2.5_4
DragonFlymisc/pipe2.5_2
HardenedBSDmisc/pipe2.5_4
GhostBSDmisc/pipe2.5_4

Install

Binary package:

pkg install pipe

From the ports tree:

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

To depend on this port in another port's Makefile:

RUN_DEPENDS=	pipe>0:misc/pipe

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest2.5_42.5_42.5_22.5_22.5_4
FreeBSD:14:quarterly2.5_42.5_4n/a2.5_22.5_4
FreeBSD:15:latest2.5_42.5_4n/a2.5_22.5_2
FreeBSD:15:quarterly2.5_42.5_4n/an/an/a
FreeBSD:16:latest2.5_42.5_4n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

Run dependencies 53
Required by 1

Configuration

Options name: misc_pipe

OptionDefaultDescription
DOCSoffBuild and/or install documentation
USES
java zip
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

Files

pkg-plist 482
  • bin/pipe
  • share/pipe/Docs/0.Analysis Modules.htm
  • share/pipe/Docs/1.Invariant Analysis.htm
  • share/pipe/Docs/10.save a file as.htm
  • share/pipe/Docs/11.close current tub.htm
  • share/pipe/Docs/12.add a place.htm
  • share/pipe/Docs/13.add a transition.htm
  • share/pipe/Docs/14.add an arc.htm
  • share/pipe/Docs/15.add a token.htm
  • share/pipe/Docs/16.delete a token.htm
  • share/pipe/Docs/17.select components.htm
  • share/pipe/Docs/18.change grid size.htm
  • share/pipe/Docs/19.toggle to animation mode.htm
  • share/pipe/Docs/2.Simulation.htm
  • share/pipe/Docs/20.step backward a firing.htm
  • share/pipe/Docs/21.step forward firing.htm
  • share/pipe/Docs/22.randomly fire a transition.htm
  • share/pipe/Docs/23.drawing modes.htm
  • share/pipe/Docs/24.Place Mode.htm
  • share/pipe/Docs/25.Transition Mode.htm
  • share/pipe/Docs/26.Arc Mode.htm
  • share/pipe/Docs/27.Select Mode.htm
  • share/pipe/Docs/28.Add Token Mode.htm
  • share/pipe/Docs/29.Delete Token Mode.htm
  • share/pipe/Docs/3.State Space.htm
  • share/pipe/Docs/31.add_a_timed_transition.htm
  • share/pipe/Docs/32.add_an_annotation.htm
  • share/pipe/Docs/33.randomly_fire_a_number_of_transi.htm
  • share/pipe/Docs/34.print.htm
  • share/pipe/Docs/36general_stochastic_petri.htm
  • share/pipe/Docs/37dnamacamodule.htm
  • share/pipe/Docs/38timed_transition_mode.htm
  • share/pipe/Docs/39toggle_mode.htm
  • share/pipe/Docs/4.Classification.htm
  • share/pipe/Docs/5.Comparison.htm
  • share/pipe/Docs/6.Incidence and Marking.htm
  • share/pipe/Docs/7.create a new petri-net.htm
  • share/pipe/Docs/8.open an already existing file.htm
  • share/pipe/Docs/9.save an existing file.htm
  • share/pipe/Docs/PIPE images/1.new.png
  • share/pipe/Docs/PIPE images/10.add an arc.png
  • share/pipe/Docs/PIPE images/11.add an annotation.png
  • share/pipe/Docs/PIPE images/12.ad a token.png
  • share/pipe/Docs/PIPE images/13.delete a token.png
  • share/pipe/Docs/PIPE images/14.select components.png
  • share/pipe/Docs/PIPE images/15change the grid size.png
  • share/pipe/Docs/PIPE images/16.toggle to an mode.png
  • share/pipe/Docs/PIPE images/17.Step backward a firing.png
  • share/pipe/Docs/PIPE images/19.step forward a firing.png
  • share/pipe/Docs/PIPE images/2.open.png
  • share/pipe/Docs/PIPE images/20.randomly fire a transition.png
  • share/pipe/Docs/PIPE images/20.randomply fire a number of transitions.png
  • share/pipe/Docs/PIPE images/21.PIPE help.png
  • share/pipe/Docs/PIPE images/22.PIPE.png
  • share/pipe/Docs/PIPE images/23.top left GUI.png
  • share/pipe/Docs/PIPE images/3.save.png
  • share/pipe/Docs/PIPE images/35Innvariant.png
  • share/pipe/Docs/PIPE images/36InnvariantCIRCUIT.png
  • share/pipe/Docs/PIPE images/37simulation.png
  • share/pipe/Docs/PIPE images/38simulationNET.png
  • share/pipe/Docs/PIPE images/39incidence and marking.png
  • share/pipe/Docs/PIPE images/4.Save as.png
  • share/pipe/Docs/PIPE images/40incidence and markingNET.png
  • share/pipe/Docs/PIPE images/41classification.png
  • share/pipe/Docs/PIPE images/42classificationNET.png
  • share/pipe/Docs/PIPE images/44general stohastic.png
  • share/pipe/Docs/PIPE images/45DNAmeca.png
  • share/pipe/Docs/PIPE images/46Comparison.png
  • share/pipe/Docs/PIPE images/47StateSpace.png
  • share/pipe/Docs/PIPE images/49Comparison RES.png
  • share/pipe/Docs/PIPE images/5.close.png
  • share/pipe/Docs/PIPE images/50gspn.png
  • share/pipe/Docs/PIPE images/51GSPNNET.png
  • share/pipe/Docs/PIPE images/6.print.png
  • share/pipe/Docs/PIPE images/7.add a place.png
  • share/pipe/Docs/PIPE images/8.add a transition.png
  • share/pipe/Docs/PIPE images/9.add a timed transition.png
  • share/pipe/Docs/PIPE images/Thumbs.db
  • share/pipe/Docs/index.htm
  • share/pipe/Docs/using the taskbar.htm
  • share/pipe/Example nets/ClassicGSPN.xml
  • share/pipe/Example nets/Courier Protocol.xml
  • share/pipe/Example nets/Dining philosophers.xml
  • share/pipe/Example nets/Producer & Consumer.xml
  • share/pipe/Example nets/Readers & Writers.xml
  • share/pipe/Example nets/TimelessTrap.xml
  • share/pipe/Example nets/fms.xml
  • share/pipe/Example nets/gspn1.xml
  • share/pipe/Example nets/gspn2.xml
  • share/pipe/Example nets/gspn3.xml
  • share/pipe/Images/About.png
  • share/pipe/Images/Add token.png
  • share/pipe/Images/Animate.png
  • share/pipe/Images/Animation mode.png
  • share/pipe/Images/Annotation.png
  • share/pipe/Images/Arc.png
  • share/pipe/Images/Back.png
  • share/pipe/Images/Close.png
  • share/pipe/Images/Copy(1).png
  • share/pipe/Images/Copy(2).png

The first 100 are listed.

distinfo 1
FileSizeSHA256
pipe25_rc5.zip2.070158e+06ce702f300f691bdc10e2b9727ea4f15d0baec002548d352d3c80a01e6be060c1
Master sites 1
  • SF/pipe2/Pipe%202/PIPE2%20V2.5

Commit history 0

No commits in the history this site was built from.