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
Tool for creating and analysing Petri nets

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org 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 information on required and default dependencies. Optional dependencies are not covered.

Required To Run:
  1. java/openjdk7
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
===> The following configuration options are available for pipe-2.5_1:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

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

Number of commits found: 20

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Jul 2014 15:31:02
Original commit files touched by this commit  2.5_1
Revision:361099
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
04 Jul 2014 00:56:58
Original commit files touched by this commit  2.5_1
Revision:360501
adamw search for other commits by this committer
Remove NOPORTDOCS and NOPORTEXAMPLES.
08 Jun 2014 16:13:11
Original commit files touched by this commit  2.5_1
Revision:357050
vanilla search for other commits by this committer
Stagify.
10 May 2014 18:28:14
Original commit files touched by this commit  2.5_1
Revision:353594
antoine search for other commits by this committer
Reset more maintainers:

<yar@FreeBSD.org>: host hub.freebsd.org[8.8.178.136] said: 550 5.1.1
    <yar@FreeBSD.org>: Recipient address rejected: User unknown in local

<rud@cs.uni-magdeburg.de>: host mail.cs.uni-magdeburg.de[141.44.21.48] said:
    550 5.1.1 <rud@cs.uni-magdeburg.de>... User unknown (in reply to RCPT TO

<stefan@fh-mainz.de>: host srv-eml-pmva-02.fh-mainz.de[143.93.114.189] said:
    550 5.1.1 <stefan@fh-mainz.de>: Recipient address rejected: undeliverable

<ocaml-ounit-port@kotka.de>: host kotka.de[62.75.247.120] said: 550 5.1.1
    <ocaml-ounit-port@kotka.de>: Recipient address rejected: User unknown in

<toru@tenchi.ne.jp>: host tuna.tenchi.ne.jp[49.212.63.105] said: 550 5.1.1
(Only the first 15 lines of the commit message are shown above View all of this commit message)
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: 20

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
fileAug 21
py-djangoAug 21
py-django-develAug 21
py-django14Aug 21
py-django15Aug 21
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06
opensslAug 06

8 vulnerabilities affecting 14 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 24465
Broken 222
Deprecated 794
Ignore 567
Forbidden 36
Restricted 261
No CDROM 101
Vulnerable 23
Expired 0
Set to expire 789
Interactive 0
new 24 hours 5
new 48 hours9
new 7 days37
new fortnight144
new month221

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