Port details on branch 2022Q2 |
- xpns Petri-Net Simulator for Xwindows
- 1.0_4 misc
=1 1.0_4Version of this port present on the latest quarterly branch.
- DEPRECATED: unknown license
This port expired on: 2018-08-15
- 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
- Port Added: unknown
- Last Update: 2018-08-16 20:28:33
- SVN Revision: 477371
- People watching this port, also watch:: python-doc-html, mscompress, pdflib
- Also Listed In: cad
- License: NONE
- WWW:
- http://robotics.ee.uwa.edu.au/pns/
- Description:
- PNS is a public domain Petri net simulation tool for Unix systems. It requires
the X Window System.
Examples:
---------
- simple.net
3-2 Reduction
- add.net
x = x + y
- sub1.net
x >= y : x = x - y
x < y : y = y - x
- sub2.net
x = x - y
NEGATIVE = 1 <=> x-y < 0
- mult.net
z = x * y
- phil.net
Dining Philosophers Problem
WWW: http://robotics.ee.uwa.edu.au/pns/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: there is no package for this port: _LICENSE_RESTRICTED = delete-package delete-distfiles
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (pns_source.tar.Z) = 659b14edcfc59d7a9798577c1f1cd71a9e7de37813823b73d5409a0ed8321f4a
SIZE (pns_source.tar.Z) = 256925
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- x11.pc : x11/libX11
- xaw7.pc : x11-toolkits/libXaw
- xmu.pc : x11-toolkits/libXmu
- xt.pc : x11-toolkits/libXt
- xext.pc : x11/libXext
- Runtime dependencies:
-
- x11.pc : x11/libX11
- xaw7.pc : x11-toolkits/libXaw
- xmu.pc : x11-toolkits/libXmu
- xt.pc : x11-toolkits/libXt
- xext.pc : x11/libXext
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for xpns-1.0_4:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|