6af2 FreshPorts -- misc/pipe
FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
pipe 2.5_1 misc on this many watch lists=1 search for ports that depend on this port
A tool for creating and analysing Petri nets
Maintained by: stefan@fh-mainz.de search for ports maintained by this maintainer
Port Added: 23 Aug 2004 08:06:49
Also Listed In: java
License: not specified in port


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/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Run:
  1. java/openjdk6
There are no ports dependent upon this port

To install the port: cd /usr/ports/misc/pipe/ && make install clean
To add the package: pkg_add -r pipe


Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://aarnet.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  3. http://freefr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  4. http://garr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  5. http://heanet.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  6. http://hivelocity.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  7. http://ignum.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  8. http://internode.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  9. http://iweb.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  10. http://jaist.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  11. http://nchc.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  12. http://ncu.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  13. http://netcologne.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  14. http://osdn.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  15. http://space.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  16. http://sunet.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  17. http://superb-dca3.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  18. http://switch.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  19. http://tenet.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  20. http://ufpr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  21. http://waix.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/

Number of commits found: 14

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
10 Dec 2012 13:43:44
Original commit files touched by this commit  2.5_1
bapt search for other commits by this committer
Decommissioning java 1.5 (EOLed since October 2009):
suppress any reference to JAVA_VERSION=	1.5+ (part3)
21 Jul 2011 05:03:02
Original commit files touched by this commit  2.5_1
linimon search for other commits by this committer
Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,
remove support for them from bsd.java.mk.  As Jikes is not available in Java 1.5
or higher, remove it from bsd.java.mk too (suggested by hq@) and from the ports
which used it (only occurences were USE_JIKES=no).  Support for the Blackdown VM
is also removed, as it is not available in Java 1.5 and higher.

Also remove the mapping from Java 1.1-1.4 to Java 1.5+ in bsd.java.mk to detect
old, broken ports; therefore bump the minimal value of JAVA_VERSION to 1.5.
While here, replace static values of JAVA_VERSION in files/*.in by
%%JAVA_VERSION%% .

PR:             ports/158969
Submitted by:   rene
Tested on:      pointyhat-west -exp
19 Mar 2011 12:38:54
Original commit files touched by this commit  2.5_1
miwi search for other commits by this committer
- Get Rid MD5 support
22 Aug 2009 00:28:34
Original commit files touched by this commit  2.5_1
  Sanity Test Failure
amdmi3 search for other commits by this committer
- Switch SourceForge ports to the new File Release System: categories starting
with M
06 Jun 2008 13:45:40
Original commit files touched by this commit  2.5_1
edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
01 Feb 2008 10:32:05
Original commit files touched by this commit  2.5
miwi search for other commits by this committer
- Update to 2.5

PR:             120089
Submitted by:   Stefan Pauly <stefan@fh-mainz.de> (maintainer)
17 Aug 2007 10:11:42
Original commit files touched by this commit  2.4.5
mm search for other commits by this committer
- Update to 2.4.5
- Change maintainer to submitter

PR:             ports/115248
Submitted by:   Stefan Pauly <stefan at fh-mainz.de>
19 May 2007 20:32:57
Original commit files touched by this commit  2.0_1
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
17 May 2006 09:25:21
Original commit files touched by this commit  2.0
vs search for other commits by this committer
Update to 2.0

PR:             ports/96770
Submitted by:   Stefan Pauly
25 Nov 2005 16:09:33
Original commit files touched by this commit  0.b.1.5
pav search for other commits by this committer
- Add SHA256
07 Apr 2005 00:03:30
Original commit files touched by this commit  0.b.1.5
hq search for other commits by this committer
Install data files using FIND | INSTALL_DATA

Submitted by:   Sam Lawrance <boris@brooknet.com.au>
06 Apr 2005 23:59:53
Original commit files touched by this commit  0.b.1.5
hq search for other commits by this committer
- Update to 0.b.1.5 (and unbreak) [1]
- Stipulate JAVA_VERSION [1]
- Symlink examples so the program can find them and provide the
  "Examples" menu [1]
- Add 'java' category [2]
- Install documentation using FIND | INSTALL_DATA
- Improve the launcher shell script (use javavmwrapper 2.0)
- Use SUB_FILES to build the launcher shell script

PR:             79578 [1]
Submitted by:   Sam Lawrance <boris@brooknet.com.au> [1]
Reported by:    portlint [2]
Reviewed by:    Sam Lawrance <boris@brooknet.com.au>
26 Mar 2005 07:06:21
Original commit files touched by this commit  0.b.1.0
kris search for other commits by this committer
BROKEN: Size mismatch

Approved by:    portmgr (kris)
23 Aug 2004 08:04:45
Original commit files touched by this commit  0.b.1.0
ijliao search for other commits by this committer
add pipe beta-1.0
Platform Independent Petri-Net Editor

Number of commits found: 14

283b
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
linux-f10-flashplugin10May 16
linux-f10-flashplugin11May 16
nginx*May 16
nginx-devel*May 16
firefoxMay 15
firefox-develMay 15
firefox-esrMay 15
firefox10May 15
firefox15May 15
firefox3May 15
firefox3-develMay 15
firefox35May 15
firefox36May 15
linux-firefoxMay 15
linux-seamonkeyMay 15

3 vulnerabilities affecting 19 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24518
Broken 217
Deprecated 473
Ignore 637
Forbidden 3
Restricted 292
No CDROM 109
Vulnerable 28
Expired 132
Set to expire 511
Interactive 33
new 24 hours 5
new 48 hours8
new 7 days24
new fortnight76
new month206

This site
What is FreshPorts?
About the Authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact
8e7

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2013 DVL Software Limited. All rights reserved.
0