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/

<tr>
<td class='logo' rowspan='2'><a href='/~lantw44/cgit/cgit.cgi/'><img src='/~lantw44/cgit-data/cgit.png' alt='cgit logo'/></a></td>
<td class='main'><a href='/~lantw44/cgit/cgit.cgi/'>index</a> : <a title='freebsd-ports-graphics' href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/'>freebsd-ports-graphics</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='00a386ea08a29c3e988a444ffeb2fc7862ce2e86'/><select name='h' onchange='this.form.submit();'>
<option value='master'>master</option>
<option value='mesa-next' selected='selected'>mesa-next</option>
<option value='wayland'>wayland</option>
<option value='xorg-server-1.19.6'>xorg-server-1.19.6</option>
<option value='xserver-next'>xserver-next</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>FreeBSD graphics obsolete development ports (https://github.com/freebsd/freebsd-ports-graphics)</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/about/'>about</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/'>summary</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/refs/?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86'>refs</a><a class='active' href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/x11-clocks'>log</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/tree/x11-clocks?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86'>tree</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86'>commit</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/diff/x11-clocks?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86'>diff</a><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/stats/x11-clocks'>stats</a></td><td class='form'><form class='right' method='get' action='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/x11-clocks'>
<input type='hidden' name='id' value='00a386ea08a29c3e988a444ffeb2fc7862ce2e86'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86'>root</a>/<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/x11-clocks?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86'>x11-clocks</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th></th><th class='left'>Commit message (<a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/log/x11-clocks?id=00a386ea08a29c3e988a444ffeb2fc7862ce2e86&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th><th class='left'>Age</th><th class='left'>Files</th><th class='left'>Lines</th></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=41b210408066d4066613a4fad24304bf332e9ced'>Update to version 0.5</a></td><td>jim</td><td><span title='1999-12-29 09:33:35 +0800'>1999-12-29</span></td><td>4</td><td><span class='deletions'>-30</span>/<span class='insertions'>+27</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=e11c325f9baf1b3384a2cc3dd46219763df99d2a'>Update to version 2.0.</a></td><td>steve</td><td><span title='1999-12-27 09:10:07 +0800'>1999-12-27</span></td><td>7</td><td><span class='deletions'>-74</span>/<span class='insertions'>+250</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=7b0c5e0b4ae660fdd1731f5fdf084b5fb91f9bb6'>Update to version 2.7.2</a></td><td>cpiazza</td><td><span title='1999-12-25 12:11:36 +0800'>1999-12-25</span></td><td>3</td><td><span class='deletions'>-10</span>/<span class='insertions'>+10</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=c92fe619f2fa2da5c6ce4cf739c69db81e52ae6a'>Update name of port in comment.</a></td><td>steve</td><td><span title='1999-12-24 12:40:48 +0800'>1999-12-24</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=cabaa45ec8b7f06c6162dbd21bec53c8b078c924'>Update to version pl6.</a></td><td>steve</td><td><span title='1999-12-24 12:39:20 +0800'>1999-12-24</span></td><td>4</td><td><span class='deletions'>-14</span>/<span class='insertions'>+35</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=1397406d84809b12447934f8defb22d5e2e89c5c'>* freebsd.org -&gt; FreeBSD.org</a></td><td>steve</td><td><span title='1999-12-24 12:37:18 +0800'>1999-12-24</span></td><td>2</td><td><span class='deletions'>-10</span>/<span class='insertions'>+11</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=9e3fa272c14fec1fc176bf5b9d82fb37aca86c77'>New location on MASTER_SITE.</a></td><td>steve</td><td><span title='1999-12-23 05:27:34 +0800'>1999-12-23</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=495f8b2241e2f4c0b4185ee6b2f7e3ea7d2b6a52'>Update WWW to use the new URL.</a></td><td>jim</td><td><span title='1999-12-23 04:22:11 +0800'>1999-12-23</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=012cbd3c2f3b755dd186fb78c9427882f586a172'>Add my to my distfiles on freefall to please the distfile survey.</a></td><td>jim</td><td><span title='1999-12-23 04:20:18 +0800'>1999-12-23</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+2</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=64ebe46e89f985c417f5c4400fede7fa44ccaf19'>Unbreak</a></td><td>cpiazza</td><td><span title='1999-12-23 02:48:42 +0800'>1999-12-23</span></td><td>1</td><td><span class='deletions'>-2</span>/<span class='insertions'>+3</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=240f9c57670f2f1553068295c9f313c660887cbf'>Correct MAINTAINER</a></td><td>jedgar</td><td><span title='1999-12-22 22:33:42 +0800'>1999-12-22</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=031e6f0af7025e52528d537563685dc8feba5f37'>Update to version 0.13</a></td><td>jim</td><td><span title='1999-12-04 08:57:17 +0800'>1999-12-04</span></td><td>4</td><td><span class='deletions'>-11</span>/<span class='insertions'>+26</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=40f20fd29c1b1a137cb850ab133b4419c6db9620'>$(MASTER_SITES) is compacted to be $(MASTER_SITE_PORTS_JP)</a></td><td>imura</td><td><span title='1999-11-26 23:39:55 +0800'>1999-11-26</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=a53d28db803f8dd2c2ebbd3a06a7b8ce5e14685b'>Fix a typo in pkg/DESCR.. prerease -&gt; prerelease</a></td><td>jim</td><td><span title='1999-11-18 04:17:30 +0800'>1999-11-18</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=333eb5fc2a7d049ac60643b69f5ec34769b2924d'>Updated MASTER_SITES and added another one to make this port</a></td><td>jim</td><td><span title='1999-11-09 03:53:48 +0800'>1999-11-09</span></td><td>1</td><td><span class='deletions'>-1</span>/<span class='insertions'>+2</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=53cb6157ee1004eab8434a2999e11f48bf18f564'>Update to 2.14</a></td><td>gpalmer</td><td><span title='1999-11-01 07:59:41 +0800'>1999-11-01</span></td><td>2</td><td><span class='deletions'>-3</span>/<span class='insertions'>+3</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=4d18255894cf61dafd0de40e71a003bae73275ae'>update to emiclock-2.0.2</a></td><td>mharo</td><td><span title='1999-10-26 12:16:08 +0800'>1999-10-26</span></td><td>5</td><td><span class='deletions'>-14</span>/<span class='insertions'>+14</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=84b64f0895032312be3f0d871f6c9d39f74a3f9d'>Upgrade to version 2.7.1.</a></td><td>obrien</td><td><span title='1999-10-25 15:47:34 +0800'>1999-10-25</span></td><td>2</td><td><span class='deletions'>-3</span>/<span class='insertions'>+3</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=737bd754597661278481623e590aa1e00e41cb12'>Remove WWW:, the page is non-existant</a></td><td>cpiazza</td><td><span title='1999-10-22 03:57:16 +0800'>1999-10-22</span></td><td>1</td><td><span class='deletions'>-2</span>/<span class='insertions'>+0</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=a7126b9413f46bdf30be8c7b56330122c2a7fe53'>Add patch to fix Imakefile.</a></td><td>nakai</td><td><span title='1999-10-18 13:25:09 +0800'>1999-10-18</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+8</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=6fb461a33c9a1d239837850932f6db588b62d8ad'>Update to 1.1</a></td><td>nakai</td><td><span title='1999-10-05 10:36:18 +0800'>1999-10-05</span></td><td>4</td><td><span class='deletions'>-15</span>/<span class='insertions'>+27</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=f409e80043ee4746fbbf2cce7b41b11255b1db8d'>Fixed the reversed September and October months.</a></td><td>jim</td><td><span title='1999-10-02 14:00:05 +0800'>1999-10-02</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+13</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=3da008fa154ed47e63564dfa9266e5f808fd96ce'>Activate glclock</a></td><td>cpiazza</td><td><span title='1999-09-26 06:29:48 +0800'>1999-09-26</span></td><td>1</td><td><span class='deletions'>-0</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=deec9879ad070768ca1d228f736f438967e5124b'>Import of glclock.</a></td><td>cpiazza</td><td><span title='1999-09-26 06:29:13 +0800'>1999-09-26</span></td><td>7</td><td><span class='deletions'>-0</span>/<span class='insertions'>+136</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=29f48873572afebcf03040d27e4e223361d8cad5'>Upgrade to KDE-1.1.2.</a></td><td>imura</td><td><span title='1999-09-17 20:47:53 +0800'>1999-09-17</span></td><td>18</td><td><span class='deletions'>-340</span>/<span class='insertions'>+311</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=acfd24208647cb979f5fbdcb36629cc08b1b1bcd'>Update with qt-i18n.</a></td><td>imura</td><td><span title='1999-09-11 06:45:02 +0800'>1999-09-11</span></td><td>4</td><td><span class='deletions'>-8</span>/<span class='insertions'>+8</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=9e1bdf44594808be56b2681f7b326c20a4e19f53'>portlint</a></td><td>obrien</td><td><span title='1999-09-06 06:15:15 +0800'>1999-09-06</span></td><td>2</td><td><span class='deletions'>-3</span>/<span class='insertions'>+1</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=89e9525cd80b9d6ce10b7181e660e1342f17214d'>FreeBSD.ORG -&gt; FreeBSD.org</a></td><td>mharo</td><td><span title='1999-08-31 14:53:31 +0800'>1999-08-31</span></td><td>7</td><td><span class='deletions'>-10</span>/<span class='insertions'>+10</span></td></tr>
<tr><td class='commitgraph'>* </td><td><a href='/~lantw44/cgit/cgit.cgi/freebsd-ports-graphics/commit/x11-clocks?id=17d8bb8f7275054284435159d45e95449663f34c'>$Id$ -&gt; $FreeBSD$</a></td><td>peter</td><td><span title='1999-08-31 11:04:38 +0800'>1999-08-31</span>