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

I am looking for an LTO tape library. Do you have one to spare?
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 install misc/pipe


Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://downloads.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/

Number of commits found: 16

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
10 Mar 2014 16:25:34
Original commit files touched by this commit  2.5_1
Revision:347776
bapt search for other commits by this committer
Convert m* to USES=zip
20 Sep 2013 20:50:59
Refresh Original commit files touched by this commit
Revision:327745  Sanity Test Failure
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
misc)
10 Dec 2012 13:43:44
Original commit files touched by this commit  2.5_1
Revision:308605
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: 16

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
py-django*Apr 24
py-django-devel*Apr 24
py-django14*Apr 24
py-django15*Apr 24
mingw32-opensslApr 23
opensslApr 23
bugzilla40*Apr 18
bugzilla40*Apr 18
bugzilla42*Apr 18
bugzilla42*Apr 18
bugzilla44*Apr 18
bugzilla44*Apr 18
curlApr 11
dbus-glibApr 11
libaudiofileApr 11

13 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 24360
Broken 168
Deprecated 77
Ignore 519
Forbidden 6
Restricted 263
No CDROM 108
Vulnerable 29
Expired 10
Set to expire 64
Interactive 22
new 24 hours 3
new 48 hours6
new 7 days17
new fortnight32
new month122

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.