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

Port details
pipe Tool for creating and analysing Petri nets
2.5_1 misc on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port

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 : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (482 items)
  1. bin/pipe
  2. share/pipe/Docs/0.Analysis Modules.htm
  3. share/pipe/Docs/1.Invariant Analysis.htm
  4. share/pipe/Docs/10.save a file as.htm
  5. share/pipe/Docs/11.close current tub.htm
  6. share/pipe/Docs/12.add a place.htm
  7. share/pipe/Docs/13.add a transition.htm
  8. share/pipe/Docs/14.add an arc.htm
  9. share/pipe/Docs/15.add a token.htm
  10. share/pipe/Docs/16.delete a token.htm
  11. share/pipe/Docs/17.select components.htm
  12. share/pipe/Docs/18.change grid size.htm
  13. share/pipe/Docs/19.toggle to animation mode.htm
  14. share/pipe/Docs/2.Simulation.htm
  15. share/pipe/Docs/20.step backward a firing.htm
  16. share/pipe/Docs/21.step forward firing.htm
  17. share/pipe/Docs/22.randomly fire a transition.htm
  18. share/pipe/Docs/23.drawing modes.htm
  19. share/pipe/Docs/24.Place Mode.htm
  20. share/pipe/Docs/25.Transition Mode.htm
  21. share/pipe/Docs/26.Arc Mode.htm
  22. share/pipe/Docs/27.Select Mode.htm
  23. share/pipe/Docs/28.Add Token Mode.htm
  24. share/pipe/Docs/29.Delete Token Mode.htm
  25. share/pipe/Docs/3.State Space.htm
  26. share/pipe/Docs/31.add_a_timed_transition.htm
  27. share/pipe/Docs/32.add_an_annotation.htm
  28. share/pipe/Docs/33.randomly_fire_a_number_of_transi.htm
  29. share/pipe/Docs/34.print.htm
  30. share/pipe/Docs/36general_stochastic_petri.htm
  31. share/pipe/Docs/37dnamacamodule.htm
  32. share/pipe/Docs/38timed_transition_mode.htm
  33. share/pipe/Docs/39toggle_mode.htm
  34. share/pipe/Docs/4.Classification.htm
  35. share/pipe/Docs/5.Comparison.htm
  36. share/pipe/Docs/6.Incidence and Marking.htm
  37. share/pipe/Docs/7.create a new petri-net.htm
  38. share/pipe/Docs/8.open an already existing file.htm
  39. share/pipe/Docs/9.save an existing file.htm
  40. share/pipe/Docs/PIPE images/1.new.png
  41. share/pipe/Docs/PIPE images/10.add an arc.png
  42. share/pipe/Docs/PIPE images/11.add an annotation.png
  43. share/pipe/Docs/PIPE images/12.ad a token.png
  44. share/pipe/Docs/PIPE images/13.delete a token.png
  45. share/pipe/Docs/PIPE images/14.select components.png
  46. share/pipe/Docs/PIPE images/15change the grid size.png
  47. share/pipe/Docs/PIPE images/16.toggle to an mode.png
  48. share/pipe/Docs/PIPE images/17.Step backward a firing.png
  49. share/pipe/Docs/PIPE images/19.step forward a firing.png
  50. share/pipe/Docs/PIPE images/2.open.png
  51. share/pipe/Docs/PIPE images/20.randomly fire a transition.png
  52. share/pipe/Docs/PIPE images/20.randomply fire a number of transitions.png
  53. share/pipe/Docs/PIPE images/21.PIPE help.png
  54. share/pipe/Docs/PIPE images/22.PIPE.png
  55. share/pipe/Docs/PIPE images/23.top left GUI.png
  56. share/pipe/Docs/PIPE images/3.save.png
  57. share/pipe/Docs/PIPE images/35Innvariant.png
  58. share/pipe/Docs/PIPE images/36InnvariantCIRCUIT.png
  59. share/pipe/Docs/PIPE images/37simulation.png
  60. share/pipe/Docs/PIPE images/38simulationNET.png
  61. share/pipe/Docs/PIPE images/39incidence and marking.png
  62. share/pipe/Docs/PIPE images/4.Save as.png
  63. share/pipe/Docs/PIPE images/40incidence and markingNET.png
  64. share/pipe/Docs/PIPE images/41classification.png
  65. share/pipe/Docs/PIPE images/42classificationNET.png
  66. share/pipe/Docs/PIPE images/44general stohastic.png
  67. share/pipe/Docs/PIPE images/45DNAmeca.png
  68. share/pipe/Docs/PIPE images/46Comparison.png
  69. share/pipe/Docs/PIPE images/47StateSpace.png
  70. share/pipe/Docs/PIPE images/49Comparison RES.png
  71. share/pipe/Docs/PIPE images/5.close.png
  72. share/pipe/Docs/PIPE images/50gspn.png
  73. share/pipe/Docs/PIPE images/51GSPNNET.png
  74. share/pipe/Docs/PIPE images/6.print.png
  75. share/pipe/Docs/PIPE images/7.add a place.png
  76. share/pipe/Docs/PIPE images/8.add a transition.png
  77. share/pipe/Docs/PIPE images/9.add a timed transition.png
  78. share/pipe/Docs/PIPE images/Thumbs.db
  79. share/pipe/Docs/index.htm
  80. share/pipe/Docs/using the taskbar.htm
  81. share/pipe/Example nets/ClassicGSPN.xml
  82. share/pipe/Example nets/Courier Protocol.xml
  83. share/pipe/Example nets/Dining philosophers.xml
  84. share/pipe/Example nets/Producer & Consumer.xml
  85. share/pipe/Example nets/Readers & Writers.xml
  86. share/pipe/Example nets/TimelessTrap.xml
  87. share/pipe/Example nets/fms.xml
  88. share/pipe/Example nets/gspn1.xml
  89. share/pipe/Example nets/gspn2.xml
  90. share/pipe/Example nets/gspn3.xml
  91. share/pipe/Images/About.png
  92. share/pipe/Images/Add token.png
  93. share/pipe/Images/Animate.png
  94. share/pipe/Images/Animation mode.png
  95. share/pipe/Images/Annotation.png
  96. share/pipe/Images/Arc.png
  97. share/pipe/Images/Back.png
  98. share/pipe/Images/Close.png
  99. share/pipe/Images/Copy(1).png
  100. share/pipe/Images/Copy(2).png
  101. share/pipe/Images/Copy.png
  102. share/pipe/Images/Cut(1).png
  103. share/pipe/Images/Cut(2).png
  104. share/pipe/Images/Cut.png
  105. share/pipe/Images/Cycle grid.png
  106. share/pipe/Images/Delete token.png
  107. share/pipe/Images/Delete.png
  108. share/pipe/Images/Drag.png
  109. share/pipe/Images/Drag2.png
  110. share/pipe/Images/Example.png
  111. share/pipe/Images/Exit.png
  112. share/pipe/Images/Export.png
  113. share/pipe/Images/Forward.png
  114. share/pipe/Images/Help.png
  115. share/pipe/Images/Immediate transition.png
  116. share/pipe/Images/Inhibitor Arc.png
  117. share/pipe/Images/Marking Parameter().png
  118. share/pipe/Images/Marking Parameter(1).png
  119. share/pipe/Images/Marking Parameter(2).png
  120. share/pipe/Images/Marking Parameter.png
  121. share/pipe/Images/MarkingParameter.png
  122. share/pipe/Images/Move.png
  123. share/pipe/Images/Net.png
  124. share/pipe/Images/New.png
  125. share/pipe/Images/Open.png
  126. share/pipe/Images/PNG.png
  127. share/pipe/Images/Paste(1).png
  128. share/pipe/Images/Paste.png
  129. share/pipe/Images/Place.png
  130. share/pipe/Images/PostScript.png
  131. share/pipe/Images/Print.png
  132. share/pipe/Images/Random.png
  133. share/pipe/Images/Rate Parameter.png
  134. share/pipe/Images/Redo(1).png
  135. share/pipe/Images/Redo(2).png
  136. share/pipe/Images/Redo(3).png
  137. share/pipe/Images/Redo.png
  138. share/pipe/Images/Save as.png
  139. share/pipe/Images/Save.png
  140. share/pipe/Images/Select.png
  141. share/pipe/Images/Thumbs.db
  142. share/pipe/Images/Timed transition.png
  143. share/pipe/Images/Undo(1).png
  144. share/pipe/Images/Undo(2).png
  145. share/pipe/Images/Undo(3).png
  146. share/pipe/Images/Undo.png
  147. share/pipe/Images/Zoom in.png
  148. share/pipe/Images/Zoom out.png
  149. share/pipe/Images/Zoom.png
  150. share/pipe/Images/icon.png
  151. share/pipe/Images/png2.png
  152. share/pipe/RunGui.class
  153. share/pipe/cfg/GSPNNew.properties
  154. share/pipe/cfg/TrapSiphons.properties
  155. share/pipe/cfg/classification.properties
  156. share/pipe/cfg/comparison.properties
  157. share/pipe/cfg/comparison_1.properties
  158. share/pipe/cfg/dnamaca.properties
  159. share/pipe/cfg/invariantAnalysis.properties
  160. share/pipe/cfg/matrixes.properties
  161. share/pipe/cfg/simulation.properties
  162. share/pipe/cfg/stateSpace.properties
  163. share/pipe/expressions/CUP$parser$actions.class
  164. share/pipe/expressions/Converter.class
  165. share/pipe/expressions/ExpressionInterpreter.class
  166. share/pipe/expressions/InvalidTypeException.class
  167. share/pipe/expressions/Scanner.class
  168. share/pipe/expressions/SyntaxException.class
  169. share/pipe/expressions/VariableNotInitializedException.class
  170. share/pipe/expressions/java_cup/runtime/ComplexSymbolFactory$ComplexSymbol.class
  171. share/pipe/expressions/java_cup/runtime/ComplexSymbolFactory$Location.class
  172. share/pipe/expressions/java_cup/runtime/ComplexSymbolFactory.class
  173. share/pipe/expressions/java_cup/runtime/DefaultSymbolFactory.class
  174. share/pipe/expressions/java_cup/runtime/Scanner.class
  175. share/pipe/expressions/java_cup/runtime/Symbol.class
  176. share/pipe/expressions/java_cup/runtime/SymbolFactory.class
  177. share/pipe/expressions/java_cup/runtime/lr_parser.class
  178. share/pipe/expressions/java_cup/runtime/virtual_parse_stack.class
  179. share/pipe/expressions/parser.class
  180. share/pipe/expressions/sym.class
  181. share/pipe/jama/CholeskyDecomposition.class
  182. share/pipe/jama/EigenvalueDecomposition.class
  183. share/pipe/jama/LUDecomposition.class
  184. share/pipe/jama/Matrix.class
  185. share/pipe/jama/QRDecomposition.class
  186. share/pipe/jama/SingularValueDecomposition.class
  187. share/pipe/jama/util/Maths.class
  188. share/pipe/java_cup/runtime/Scanner.class
  189. share/pipe/java_cup/runtime/Symbol.class
  190. share/pipe/java_cup/runtime/lr_parser.class
  191. share/pipe/java_cup/runtime/virtual_parse_stack.class
  192. share/pipe/jpowergraph/PIPEInitialState.class
  193. share/pipe/jpowergraph/PIPEInitialTangibleState.class
  194. share/pipe/jpowergraph/PIPEInitialVanishingState.class
  195. share/pipe/jpowergraph/PIPELineWithTextEdgePainter.class
  196. share/pipe/jpowergraph/PIPELoopWithTextEdge.class
  197. share/pipe/jpowergraph/PIPELoopWithTextEdgePainter.class
  198. share/pipe/jpowergraph/PIPENode.class
  199. share/pipe/jpowergraph/PIPEState.class
  200. share/pipe/jpowergraph/PIPESwingContextMenuListener.class
  201. share/pipe/jpowergraph/PIPESwingToolTipListener.class
  202. share/pipe/jpowergraph/PIPETangibleState.class
  203. share/pipe/jpowergraph/PIPEVanishingState.class
  204. share/pipe/lib/jpowergraph-0.2-common.jar
  205. share/pipe/lib/jpowergraph-0.2-swing.jar
  206. share/pipe/lib/powerswing-0.3.jar
  207. share/pipe/pipe.bat
  208. share/pipe/pipe.sh
  209. share/pipe/pipe/dataLayer/AnnotationNote$ResizePoint.class
  210. share/pipe/pipe/dataLayer/AnnotationNote$ResizePointHandler.class
  211. share/pipe/pipe/dataLayer/AnnotationNote.class
  212. share/pipe/pipe/dataLayer/Arc.class
  213. share/pipe/pipe/dataLayer/ArcPath.class
  214. share/pipe/pipe/dataLayer/ArcPathPoint.class
  215. share/pipe/pipe/dataLayer/Cubic.class
  216. share/pipe/pipe/dataLayer/DataLayer.class
  217. share/pipe/pipe/dataLayer/DataLayerWriter.class
  218. share/pipe/pipe/dataLayer/DynamicMarking.class
  219. share/pipe/pipe/dataLayer/InhibitorArc.class
  220. share/pipe/pipe/dataLayer/MarkingParameter.class
  221. share/pipe/pipe/dataLayer/NameLabel.class
  222. share/pipe/pipe/dataLayer/NormalArc.class
  223. share/pipe/pipe/dataLayer/Note.class
  224. share/pipe/pipe/dataLayer/PNMLTransformer.class
  225. share/pipe/pipe/dataLayer/PNMatrix.class
  226. share/pipe/pipe/dataLayer/Parameter.class
  227. share/pipe/pipe/dataLayer/PetriNetObject.class
  228. share/pipe/pipe/dataLayer/Place.class
  229. share/pipe/pipe/dataLayer/PlaceTransitionObject.class
  230. share/pipe/pipe/dataLayer/RateParameter.class
  231. share/pipe/pipe/dataLayer/StateElement.class
  232. share/pipe/pipe/dataLayer/StateGroup.class
  233. share/pipe/pipe/dataLayer/TNTransformer.class
  234. share/pipe/pipe/dataLayer/Transition$ArcAngleCompare.class
  235. share/pipe/pipe/dataLayer/Transition.class
  236. share/pipe/pipe/dataLayer/calculations/ArcListElement.class
  237. share/pipe/pipe/dataLayer/calculations/CompressedState.class
  238. share/pipe/pipe/dataLayer/calculations/EnterOptionsException.class
  239. share/pipe/pipe/dataLayer/calculations/Marking.class
  240. share/pipe/pipe/dataLayer/calculations/MatrixElement.class
  241. share/pipe/pipe/dataLayer/calculations/NotConvergingException.class
  242. share/pipe/pipe/dataLayer/calculations/NotValidExpressionException.class
  243. share/pipe/pipe/dataLayer/calculations/Queue.class
  244. share/pipe/pipe/dataLayer/calculations/State.class
  245. share/pipe/pipe/dataLayer/calculations/StateList.class
  246. share/pipe/pipe/dataLayer/calculations/StateSpaceGenerator.class
  247. share/pipe/pipe/dataLayer/calculations/StateSpaceTooBigException.class
  248. share/pipe/pipe/dataLayer/calculations/SteadyStateSolver.class
  249. share/pipe/pipe/dataLayer/calculations/TimelessTrapException.class
  250. share/pipe/pipe/dataLayer/calculations/TreeTooBigException.class
  251. share/pipe/pipe/dataLayer/calculations/VanishingState.class
  252. share/pipe/pipe/dataLayer/calculations/myNode.class
  253. share/pipe/pipe/dataLayer/calculations/myTree.class
  254. share/pipe/pipe/experiment/Experiment.class
  255. share/pipe/pipe/experiment/GlobalVariable.class
  256. share/pipe/pipe/experiment/InvalidExpressionException.class
  257. share/pipe/pipe/experiment/IterationVector.class
  258. share/pipe/pipe/experiment/OutputVariable.class
  259. share/pipe/pipe/experiment/ResultsProvider.class
  260. share/pipe/pipe/experiment/SolutionSpec.class
  261. share/pipe/pipe/experiment/Variable.class
  262. share/pipe/pipe/experiment/editor/gui/AssignEditorPanel.class
  263. share/pipe/pipe/experiment/editor/gui/ExperimentEditor.class
  264. share/pipe/pipe/experiment/editor/gui/ExperimentEditorPanel.class
  265. share/pipe/pipe/experiment/editor/gui/NewJPanel.class
  266. share/pipe/pipe/experiment/editor/gui/SolutionSpecDialog.class
  267. share/pipe/pipe/experiment/editor/gui/SolutionSpecEditorPanel.class
  268. share/pipe/pipe/experiment/editor/gui/VariableEditorPanel.class
  269. share/pipe/pipe/experiment/validation/ExperimentValidator.class
  270. share/pipe/pipe/experiment/validation/NotMatchingException.class
  271. share/pipe/pipe/gui/AnimationHistory.class
  272. share/pipe/pipe/gui/Animator$1.class
  273. share/pipe/pipe/gui/Animator.class
  274. share/pipe/pipe/gui/BlankLayer.class
  275. share/pipe/pipe/gui/CopyPasteManager.class
  276. share/pipe/pipe/gui/CopyPasteable.class
  277. share/pipe/pipe/gui/CreateGui$1.class
  278. share/pipe/pipe/gui/CreateGui$TabData.class
  279. share/pipe/pipe/gui/CreateGui.class
  280. share/pipe/pipe/gui/Export.class
  281. share/pipe/pipe/gui/ExtFileManager.class
  282. share/pipe/pipe/gui/ExtensionFilter.class
  283. share/pipe/pipe/gui/Grid.class
  284. share/pipe/pipe/gui/GuiFrame$1.class
  285. share/pipe/pipe/gui/GuiFrame$2.class
  286. share/pipe/pipe/gui/GuiFrame$3.class
  287. share/pipe/pipe/gui/GuiFrame$AnimateAction.class
  288. share/pipe/pipe/gui/GuiFrame$DeleteAction.class
  289. share/pipe/pipe/gui/GuiFrame$EditAction.class
  290. share/pipe/pipe/gui/GuiFrame$ExampleFileAction.class
  291. share/pipe/pipe/gui/GuiFrame$ExperimentAction.class
  292. share/pipe/pipe/gui/GuiFrame$FileAction.class
  293. share/pipe/pipe/gui/GuiFrame$GridAction.class
  294. share/pipe/pipe/gui/GuiFrame$ToggleButton.class
  295. share/pipe/pipe/gui/GuiFrame$TypeAction.class
  296. share/pipe/pipe/gui/GuiFrame$WindowHandler.class
  297. share/pipe/pipe/gui/GuiFrame$ZoomAction.class
  298. share/pipe/pipe/gui/GuiFrame.class
  299. share/pipe/pipe/gui/GuiView$MouseHandler.class
  300. share/pipe/pipe/gui/GuiView.class
  301. share/pipe/pipe/gui/HelpBox.class
  302. share/pipe/pipe/gui/ModuleClassContainer.class
  303. share/pipe/pipe/gui/ModuleLoader.class
  304. share/pipe/pipe/gui/ModuleManager$RemoveModuleAction.class
  305. share/pipe/pipe/gui/ModuleManager$TreeHandler.class
  306. share/pipe/pipe/gui/ModuleManager.class
  307. share/pipe/pipe/gui/ModuleMethod.class
  308. share/pipe/pipe/gui/Pipe.class
  309. share/pipe/pipe/gui/SelectionManager.class
  310. share/pipe/pipe/gui/StatusBar.class
  311. share/pipe/pipe/gui/Translatable.class
  312. share/pipe/pipe/gui/ViewExpansionComponent.class
  313. share/pipe/pipe/gui/Zoomable.class
  314. share/pipe/pipe/gui/Zoomer.class
  315. share/pipe/pipe/gui/action/DeletePetriNetObjectAction.class
  316. share/pipe/pipe/gui/action/EditAnnotationBackgroundAction.class
  317. share/pipe/pipe/gui/action/EditAnnotationBorderAction.class
  318. share/pipe/pipe/gui/action/EditNoteAction.class
  319. share/pipe/pipe/gui/action/EditServerAction.class
  320. share/pipe/pipe/gui/action/EditTaggedAction.class
  321. share/pipe/pipe/gui/action/EditWeightAction.class
  322. share/pipe/pipe/gui/action/GetIndexAction.class
  323. share/pipe/pipe/gui/action/GuiAction.class
  324. share/pipe/pipe/gui/action/InsertPointAction.class
  325. share/pipe/pipe/gui/action/ShowHideInfoAction.class
  326. share/pipe/pipe/gui/action/SplitArcAction.class
  327. share/pipe/pipe/gui/action/SplitArcPointAction.class
  328. share/pipe/pipe/gui/action/ToggleArcPointAction.class
  329. share/pipe/pipe/gui/handler/AnimationHandler.class
  330. share/pipe/pipe/gui/handler/AnnotationNoteHandler.class
  331. share/pipe/pipe/gui/handler/ArcHandler$DeleteInverseArcAction.class
  332. share/pipe/pipe/gui/handler/ArcHandler$SplitArcsAction.class
  333. share/pipe/pipe/gui/handler/ArcHandler.class
  334. share/pipe/pipe/gui/handler/ArcKeyboardEventHandler.class
  335. share/pipe/pipe/gui/handler/ArcPathPointHandler.class
  336. share/pipe/pipe/gui/handler/LabelHandler.class
  337. share/pipe/pipe/gui/handler/NoteHandler.class
  338. share/pipe/pipe/gui/handler/ParameterHandler.class
  339. share/pipe/pipe/gui/handler/PetriNetObjectHandler.class
  340. share/pipe/pipe/gui/handler/PlaceHandler$1.class
  341. share/pipe/pipe/gui/handler/PlaceHandler.class
  342. share/pipe/pipe/gui/handler/PlaceTransitionObjectHandler.class
  343. share/pipe/pipe/gui/handler/TransitionHandler$1.class
  344. share/pipe/pipe/gui/handler/TransitionHandler.class
  345. share/pipe/pipe/gui/undo/AddArcPathPointEdit.class
  346. share/pipe/pipe/gui/undo/AddPetriNetObjectEdit.class
  347. share/pipe/pipe/gui/undo/AnnotationBorderEdit.class
  348. share/pipe/pipe/gui/undo/AnnotationTextEdit.class
  349. share/pipe/pipe/gui/undo/ArcPathPointTypeEdit.class
  350. share/pipe/pipe/gui/undo/ArcWeightEdit.class
  351. share/pipe/pipe/gui/undo/ChangeMarkingParameterEdit.class
  352. share/pipe/pipe/gui/undo/ChangeRateParameterEdit.class
  353. share/pipe/pipe/gui/undo/ClearInverseArcEdit.class
  354. share/pipe/pipe/gui/undo/ClearMarkingParameterEdit.class
  355. share/pipe/pipe/gui/undo/ClearRateParameterEdit.class
  356. share/pipe/pipe/gui/undo/DeleteArcPathPointEdit.class
  357. share/pipe/pipe/gui/undo/DeletePetriNetObjectEdit.class
  358. share/pipe/pipe/gui/undo/JoinInverseArcEdit.class
  359. share/pipe/pipe/gui/undo/MarkingParameterValueEdit.class
  360. share/pipe/pipe/gui/undo/ParameterNameEdit.class
  361. share/pipe/pipe/gui/undo/PetriNetObjectNameEdit.class
  362. share/pipe/pipe/gui/undo/PlaceCapacityEdit.class
  363. share/pipe/pipe/gui/undo/PlaceMarkingEdit.class
  364. share/pipe/pipe/gui/undo/RateParameterValueEdit.class
  365. share/pipe/pipe/gui/undo/SetInverseArcEdit.class
  366. share/pipe/pipe/gui/undo/SetMarkingParameterEdit.class
  367. share/pipe/pipe/gui/undo/SetRateParameterEdit.class
  368. share/pipe/pipe/gui/undo/SplitInverseArcEdit.class
  369. share/pipe/pipe/gui/undo/TagArcEdit.class
  370. share/pipe/pipe/gui/undo/TransitionPriorityEdit.class
  371. share/pipe/pipe/gui/undo/TransitionRateEdit.class
  372. share/pipe/pipe/gui/undo/TransitionRotationEdit.class
  373. share/pipe/pipe/gui/undo/TransitionServerSemanticEdit.class
  374. share/pipe/pipe/gui/undo/TransitionTimingEdit.class
  375. share/pipe/pipe/gui/undo/TranslatePetriNetObjectEdit.class
  376. share/pipe/pipe/gui/undo/UndoManager.class
  377. share/pipe/pipe/gui/undo/UndoableEdit.class
  378. share/pipe/pipe/gui/widgets/AnnotationPanel$1.class
  379. share/pipe/pipe/gui/widgets/AnnotationPanel$2.class
  380. share/pipe/pipe/gui/widgets/AnnotationPanel.class
  381. share/pipe/pipe/gui/widgets/ButtonBar.class
  382. share/pipe/pipe/gui/widgets/CartesianGraphFrame$1.class
  383. share/pipe/pipe/gui/widgets/CartesianGraphFrame$2.class
  384. share/pipe/pipe/gui/widgets/CartesianGraphFrame$3.class
  385. share/pipe/pipe/gui/widgets/CartesianGraphFrame.class
  386. share/pipe/pipe/gui/widgets/EnterOptionsPane$HadoopPane.class
  387. share/pipe/pipe/gui/widgets/EnterOptionsPane.class
  388. share/pipe/pipe/gui/widgets/EscapableDialog$1.class
  389. share/pipe/pipe/gui/widgets/EscapableDialog.class
  390. share/pipe/pipe/gui/widgets/FileBrowser.class
  391. share/pipe/pipe/gui/widgets/GraphFrame$1.class
  392. share/pipe/pipe/gui/widgets/GraphFrame.class
  393. share/pipe/pipe/gui/widgets/GraphPanel.class
  394. share/pipe/pipe/gui/widgets/GraphPanelPane$1.class
  395. share/pipe/pipe/gui/widgets/GraphPanelPane.class
  396. share/pipe/pipe/gui/widgets/ParameterPanel$1.class
  397. share/pipe/pipe/gui/widgets/ParameterPanel$2.class
  398. share/pipe/pipe/gui/widgets/ParameterPanel$3.class
  399. share/pipe/pipe/gui/widgets/ParameterPanel$4.class
  400. share/pipe/pipe/gui/widgets/ParameterPanel.class
  401. share/pipe/pipe/gui/widgets/PetriNetChooserPanel$1.class
  402. share/pipe/pipe/gui/widgets/PetriNetChooserPanel$2.class
  403. share/pipe/pipe/gui/widgets/PetriNetChooserPanel.class
  404. share/pipe/pipe/gui/widgets/PlaceEditorPanel$1.class
  405. share/pipe/pipe/gui/widgets/PlaceEditorPanel$2.class
  406. share/pipe/pipe/gui/widgets/PlaceEditorPanel$3.class
  407. share/pipe/pipe/gui/widgets/PlaceEditorPanel$4.class
  408. share/pipe/pipe/gui/widgets/PlaceEditorPanel$5.class
  409. share/pipe/pipe/gui/widgets/PlaceEditorPanel$6.class
  410. share/pipe/pipe/gui/widgets/PlaceEditorPanel$7.class
  411. share/pipe/pipe/gui/widgets/PlaceEditorPanel.class
  412. share/pipe/pipe/gui/widgets/ProgressBar$1.class
  413. share/pipe/pipe/gui/widgets/ProgressBar.class
  414. share/pipe/pipe/gui/widgets/ResultsHTMLPane$1.class
  415. share/pipe/pipe/gui/widgets/ResultsHTMLPane$2.class
  416. share/pipe/pipe/gui/widgets/ResultsHTMLPane.class
  417. share/pipe/pipe/gui/widgets/TransitionEditor$1.class
  418. share/pipe/pipe/gui/widgets/TransitionEditor$10.class
  419. share/pipe/pipe/gui/widgets/TransitionEditor$11.class
  420. share/pipe/pipe/gui/widgets/TransitionEditor$2.class
  421. share/pipe/pipe/gui/widgets/TransitionEditor$3.class
  422. share/pipe/pipe/gui/widgets/TransitionEditor$4.class
  423. share/pipe/pipe/gui/widgets/TransitionEditor$5.class
  424. share/pipe/pipe/gui/widgets/TransitionEditor$6.class
  425. share/pipe/pipe/gui/widgets/TransitionEditor$7.class
  426. share/pipe/pipe/gui/widgets/TransitionEditor$8.class
  427. share/pipe/pipe/gui/widgets/TransitionEditor$9.class
  428. share/pipe/pipe/gui/widgets/TransitionEditor.class
  429. share/pipe/pipe/io/AbortDotFileGenerationException.class
  430. share/pipe/pipe/io/ImmediateAbortException.class
  431. share/pipe/pipe/io/IncorrectFileFormatException.class
  432. share/pipe/pipe/io/JarUtilities.class
  433. share/pipe/pipe/io/NewRGFileHeader.class
  434. share/pipe/pipe/io/NewStateRecord.class
  435. share/pipe/pipe/io/NewTransitionRecord.class
  436. share/pipe/pipe/io/RGFileHeader.class
  437. share/pipe/pipe/io/StateRecord.class
  438. share/pipe/pipe/io/TransitionRecord.class
  439. share/pipe/pipe/modules/EmptyNetException.class
  440. share/pipe/pipe/modules/Module.class
  441. share/pipe/pipe/modules/classification/Classification$1.class
  442. share/pipe/pipe/modules/classification/Classification.class
  443. share/pipe/pipe/modules/comparison/Comparison$1.class
  444. share/pipe/pipe/modules/comparison/Comparison.class
  445. share/pipe/pipe/modules/dnamaca/Dnamaca$1.class
  446. share/pipe/pipe/modules/dnamaca/Dnamaca$2.class
  447. share/pipe/pipe/modules/dnamaca/Dnamaca$DnamacaRun$ExternalTask$1.class
  448. share/pipe/pipe/modules/dnamaca/Dnamaca$DnamacaRun$ExternalTask$ActualTask.class
  449. share/pipe/pipe/modules/dnamaca/Dnamaca$DnamacaRun$ExternalTask.class
  450. share/pipe/pipe/modules/dnamaca/Dnamaca$DnamacaRun$TimerListener$1.class
  451. share/pipe/pipe/modules/dnamaca/Dnamaca$DnamacaRun$TimerListener.class
  452. share/pipe/pipe/modules/dnamaca/Dnamaca$DnamacaRun.class
  453. share/pipe/pipe/modules/dnamaca/Dnamaca.class
  454. share/pipe/pipe/modules/dnamaca/SwingWorker$1.class
  455. share/pipe/pipe/modules/dnamaca/SwingWorker$2.class
  456. share/pipe/pipe/modules/dnamaca/SwingWorker$ThreadVar.class
  457. share/pipe/pipe/modules/dnamaca/SwingWorker.class
  458. share/pipe/pipe/modules/gspn/GSPN.class
  459. share/pipe/pipe/modules/gspn/GSPNNew$1.class
  460. share/pipe/pipe/modules/gspn/GSPNNew$NoTimedTransitionsException.class
  461. share/pipe/pipe/modules/gspn/GSPNNew.class
  462. share/pipe/pipe/modules/gspn/GSPNOld.class
  463. share/pipe/pipe/modules/invariantAnalysis/InvariantAnalysis$1.class
  464. share/pipe/pipe/modules/invariantAnalysis/InvariantAnalysis.class
  465. share/pipe/pipe/modules/matrices/Matrices$1.class
  466. share/pipe/pipe/modules/matrices/Matrices.class
  467. share/pipe/pipe/modules/minimalSiphons/MinimalSiphons$1.class
  468. share/pipe/pipe/modules/minimalSiphons/MinimalSiphons$PetriNet.class
  469. share/pipe/pipe/modules/minimalSiphons/MinimalSiphons$SetOfPlaces.class
  470. share/pipe/pipe/modules/minimalSiphons/MinimalSiphons$SetOfTransitions.class
  471. share/pipe/pipe/modules/minimalSiphons/MinimalSiphons.class
  472. share/pipe/pipe/modules/reachability/ReachabilityGraphGenerator$1.class
  473. share/pipe/pipe/modules/reachability/ReachabilityGraphGenerator.class
  474. share/pipe/pipe/modules/simulation/Simulation$1.class
  475. share/pipe/pipe/modules/simulation/Simulation.class
  476. share/pipe/pipe/modules/stateSpace/StateSpace$1.class
  477. share/pipe/pipe/modules/stateSpace/StateSpace.class
  478. share/pipe/schema/ExperimentSchema.xsd
  479. share/pipe/src/src.zip
  480. share/pipe/xslt/GenerateObjectList.xsl
  481. share/pipe/xslt/GeneratePNML.xsl
  482. share/pipe/xslt/TNtoPipe.xsl
  483. Collapse this list.

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

PKGNAME: pipe

distinfo:

SHA256 (pipe25_rc5.zip) = ce702f300f691bdc10e2b9727ea4f15d0baec002548d352d3c80a01e6be060c1
SIZE (pipe25_rc5.zip) = 2070158


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

Runtime dependencies:
  1. java : java/openjdk8
There are no ports dependent upon this port

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

USES:
zip

Master Sites:
  1. http://cytranet.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  2. http://downloads.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  3. http://excellmedia.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  4. http://freefr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  5. http://jaist.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  6. http://kent.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  7. http://nchc.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  8. http://netcologne.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  9. http://netix.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  10. http://superb-dca2.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  11. http://superb-sea2.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  12. http://ufpr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  13. http://vorboss.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  14. https://cytranet.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  15. https://downloads.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  16. https://excellmedia.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  17. https://freefr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  18. https://jaist.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  19. https://kent.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  20. https://nchc.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  21. https://netcologne.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  22. https://netix.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  23. https://superb-dca2.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  24. https://superb-sea2.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  25. https://ufpr.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/
  26. https://vorboss.dl.sourceforge.net/project/pipe2/Pipe%202/PIPE2%20V2.5/

Number of commits found: 22

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
10 Aug 2016 09:01:05
Original commit files touched by this commit  2.5_1
Revision:419994
amdmi3 search for other commits by this committer
- Add NO_ARCH
- Switch to options helpers
- Simplify installation
09 Dec 2014 13:36:34
Original commit files touched by this commit  2.5_1
Revision:374378
bapt search for other commits by this committer
Cleanup plist
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: 22

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
gitlabJan 17
transmission-daemonJan 14
xmltoolingJan 12
linux-flashplayerJan 09
awstatsJan 08
irssiJan 06
firefoxJan 05
waterfoxJan 05
libevhtp*Jan 04
oniguruma*Jan 04
php56-mbstring*Jan 04
php70-mbstring*Jan 04
php71-mbstring*Jan 04
irssi*Dec 31
roundcube*Dec 31

8 vulnerabilities affecting 41 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2018-01-17 20:50:47


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32599
Broken 130
Deprecated 92
Ignore 367
Forbidden 0
Restricted 172
No CDROM 77
Vulnerable 39
Expired 7
Set to expire 83
Interactive 0
new 24 hours 1
new 48 hours3
new 7 days739
new fortnight1498
new month3994

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