| Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
| 1 | ·667fef82aecead112512eecd1c977a5b·2814004·debug·optional·maria-dbgsym_1.3.5-4.2_amd64.deb | 1 | ·667fef82aecead112512eecd1c977a5b·2814004·debug·optional·maria-dbgsym_1.3.5-4.2_amd64.deb |
| 2 | · | 2 | ·5d8c30a4eb1d3a3d975d95f0c521f1b6·131356·doc·extra·maria-doc_1.3.5-4.2_all.deb |
| 3 | ·ee3ed7ef99281e8369e765b99beaafe3·396744·math·extra·maria_1.3.5-4.2_amd64.deb | 3 | ·ee3ed7ef99281e8369e765b99beaafe3·396744·math·extra·maria_1.3.5-4.2_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2023-12-31·13:35:10.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2023-12-31·13:35:10.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1076·2023-12-31·13:35:10.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1076·2023-12-31·13:35:10.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···1300 | 3 | -rw-r--r--···0········0········0···130088·2023-12-31·13:35:10.000000·data.tar.xz |
| Offset 7, 18 lines modified | Offset 7, 18 lines modified | ||
| 7 | -rw-r--r--···0·root·········(0)·root·········(0)······644·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/changelog.Debian.gz | 7 | -rw-r--r--···0·root·········(0)·root·········(0)······644·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/changelog.Debian.gz |
| 8 | -rw-r--r--···0·root·········(0)·root·········(0)······747·2011-05-13·20:11:51.000000·./usr/share/doc/maria-doc/copyright | 8 | -rw-r--r--···0·root·········(0)·root·········(0)······747·2011-05-13·20:11:51.000000·./usr/share/doc/maria-doc/copyright |
| 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/ |
| 10 | -rw-r--r--···0·root·········(0)·root·········(0)·····4923·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria.html | 10 | -rw-r--r--···0·root·········(0)·root·········(0)·····4923·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria.html |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····5870·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_1.html | 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····5870·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_1.html |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)····29562·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_10.html | 12 | -rw-r--r--···0·root·········(0)·root·········(0)····29562·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_10.html |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)····16239·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_11.html | 13 | -rw-r--r--···0·root·········(0)·root·········(0)····16239·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_11.html |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)···18797 | 14 | -rw-r--r--···0·root·········(0)·root·········(0)···187976·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_2.html |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)···133237·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_3.html | 15 | -rw-r--r--···0·root·········(0)·root·········(0)···133237·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_3.html |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)····27664·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_4.html | 16 | -rw-r--r--···0·root·········(0)·root·········(0)····27664·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_4.html |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····4662 | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····46624·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_5.html |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)·····4870·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_6.html | 18 | -rw-r--r--···0·root·········(0)·root·········(0)·····4870·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_6.html |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)····20509·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_7.html | 19 | -rw-r--r--···0·root·········(0)·root·········(0)····20509·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_7.html |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)····10551·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_8.html | 20 | -rw-r--r--···0·root·········(0)·root·········(0)····10551·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_8.html |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)····25480·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_9.html | 21 | -rw-r--r--···0·root·········(0)·root·········(0)····25480·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_9.html |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····5250·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_abt.html | 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····5250·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_abt.html |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····4153·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_fot.html | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····4153·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_fot.html |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)····20059·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_toc.html | 24 | -rw-r--r--···0·root·········(0)·root·········(0)····20059·2023-12-31·13:35:10.000000·./usr/share/doc/maria-doc/html/maria_toc.html |
| Offset 54, 15 lines modified | Offset 54, 15 lines modified | ||
| 54 | <td·valign="middle"·align="left">· ·</td> | 54 | <td·valign="middle"·align="left">· ·</td> |
| 55 | <td·valign="middle"·align="left">· ·</td> | 55 | <td·valign="middle"·align="left">· ·</td> |
| 56 | <td·valign="middle"·align="left">[<a·href="maria.html#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 56 | <td·valign="middle"·align="left">[<a·href="maria.html#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
| 57 | <td·valign="middle"·align="left">[<a·href="maria_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 57 | <td·valign="middle"·align="left">[<a·href="maria_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 58 | <td·valign="middle"·align="left">[<a·href="maria_10.html#Index"·title="Index">Index</a>]</td> | 58 | <td·valign="middle"·align="left">[<a·href="maria_10.html#Index"·title="Index">Index</a>]</td> |
| 59 | <td·valign="middle"·align="left">[<a·href="maria_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 59 | <td·valign="middle"·align="left">[<a·href="maria_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 60 | </tr></table> | 60 | </tr></table> |
| 61 | <a·name="The-Net-Description-Language | 61 | <a·name="The-Net-Description-Language"></a> |
| 62 | <h1·class="chapter">1.·The·Net·Description·Language</h1> | 62 | <h1·class="chapter">1.·The·Net·Description·Language</h1> |
| 63 | <a·name="index-modeling"></a> | 63 | <a·name="index-modeling"></a> |
| 64 | <a·name="index-nets_002c-composing"></a> | 64 | <a·name="index-nets_002c-composing"></a> |
| 65 | <p>Petri·Nets·are·often·represented·as·directed·bipartite·graphs·using·a | 65 | <p>Petri·Nets·are·often·represented·as·directed·bipartite·graphs·using·a |
| 66 | graphical·notation.··An·entirely·graphical·notation·only·works·for | 66 | graphical·notation.··An·entirely·graphical·notation·only·works·for |
| 67 | relatively·simple·nets·that·can·be·represented·on·one·sheet·of·paper. | 67 | relatively·simple·nets·that·can·be·represented·on·one·sheet·of·paper. |
| Offset 155, 15 lines modified | Offset 155, 15 lines modified | ||
| 155 | <td·valign="middle"·align="left">· ·</td> | 155 | <td·valign="middle"·align="left">· ·</td> |
| 156 | <td·valign="middle"·align="left">· ·</td> | 156 | <td·valign="middle"·align="left">· ·</td> |
| 157 | <td·valign="middle"·align="left">[<a·href="maria.html#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 157 | <td·valign="middle"·align="left">[<a·href="maria.html#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
| 158 | <td·valign="middle"·align="left">[<a·href="maria_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 158 | <td·valign="middle"·align="left">[<a·href="maria_toc.html#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
| 159 | <td·valign="middle"·align="left">[<a·href="maria_10.html#Index"·title="Index">Index</a>]</td> | 159 | <td·valign="middle"·align="left">[<a·href="maria_10.html#Index"·title="Index">Index</a>]</td> |
| 160 | <td·valign="middle"·align="left">[<a·href="maria_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 160 | <td·valign="middle"·align="left">[<a·href="maria_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 161 | </tr></table> | 161 | </tr></table> |
| 162 | <a·name="The-Net-Description-Language"></a> | 162 | <a·name="The-Net-Description-Language-1"></a> |
| 163 | <h2·class="section">A.2·The·Net·Description·Language</h2> | 163 | <h2·class="section">A.2·The·Net·Description·Language</h2> |
| 164 | <table><tr><td> </td><td><pre·class="example">net: | 164 | <table><tr><td> </td><td><pre·class="example">net: |
| 165 | ········(·netcomponent·';'·)* | 165 | ········(·netcomponent·';'·)* |
| 166 | </pre><pre·class="example">netcomponent: | 166 | </pre><pre·class="example">netcomponent: |
| 167 | ········type | 167 | ········type |
| 168 | ········| | 168 | ········| |
| Offset 49, 15 lines modified | Offset 49, 15 lines modified | ||
| 49 | <td·valign="middle"·align="left">[<a·href="maria_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> | 49 | <td·valign="middle"·align="left">[<a·href="maria_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td> |
| 50 | </tr></table> | 50 | </tr></table> |
| 51 | <h1>Table·of·Contents</h1> | 51 | <h1>Table·of·Contents</h1> |
| 52 | <div·class="contents"> | 52 | <div·class="contents"> |
| 53 | <ul·class="toc"> | 53 | <ul·class="toc"> |
| 54 | ··<li><a·name="toc-Introduction-1"·href="maria_1.html#Introduction">Introduction</a></li> | 54 | ··<li><a·name="toc-Introduction-1"·href="maria_1.html#Introduction">Introduction</a></li> |
| 55 | ··<li><a·name="toc-The-Net-Description-Language | 55 | ··<li><a·name="toc-The-Net-Description-Language"·href="maria_2.html#Modeling">1.·The·Net·Description·Language</a> |
| 56 | ··<ul·class="toc"> | 56 | ··<ul·class="toc"> |
| 57 | ····<li><a·name="toc-Design-Criteria-1"·href="maria_2.html#Design-Criteria">1.1·Design·Criteria</a></li> | 57 | ····<li><a·name="toc-Design-Criteria-1"·href="maria_2.html#Design-Criteria">1.1·Design·Criteria</a></li> |
| 58 | ····<li><a·name="toc-Lexical-Conventions-1"·href="maria_2.html#Lexical-Conventions">1.2·Lexical·Conventions</a> | 58 | ····<li><a·name="toc-Lexical-Conventions-1"·href="maria_2.html#Lexical-Conventions">1.2·Lexical·Conventions</a> |
| 59 | ····<ul·class="toc"> | 59 | ····<ul·class="toc"> |
| 60 | ······<li><a·name="toc-Formatting-1"·href="maria_2.html#Formatting">1.2.1·Formatting</a></li> | 60 | ······<li><a·name="toc-Formatting-1"·href="maria_2.html#Formatting">1.2.1·Formatting</a></li> |
| 61 | ······<li><a·name="toc-Comments-1"·href="maria_2.html#Comments">1.2.2·Comments</a></li> | 61 | ······<li><a·name="toc-Comments-1"·href="maria_2.html#Comments">1.2.2·Comments</a></li> |
| 62 | ······<li><a·name="toc-Lexical-Tokens-1"·href="maria_2.html#Lexical-Tokens">1.2.3·Lexical·Tokens</a> | 62 | ······<li><a·name="toc-Lexical-Tokens-1"·href="maria_2.html#Lexical-Tokens">1.2.3·Lexical·Tokens</a> |