| Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
| 1 | ·32ccbf1aa6fa67b7a397af89a30d4cec·2590456·debug·optional·maria-dbgsym_1.3.5-4.1_armhf.deb | 1 | ·32ccbf1aa6fa67b7a397af89a30d4cec·2590456·debug·optional·maria-dbgsym_1.3.5-4.1_armhf.deb |
| 2 | · | 2 | ·ab03e33046ad6350d8b3ee4b84480f53·132672·doc·extra·maria-doc_1.3.5-4.1_all.deb |
| 3 | ·49be5f8d15d5c1736fe365ff235b9afe·317656·math·extra·maria_1.3.5-4.1_armhf.deb | 3 | ·49be5f8d15d5c1736fe365ff235b9afe·317656·math·extra·maria_1.3.5-4.1_armhf.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2016-12-01·22:06:16.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2016-12-01·22:06:16.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1076·2016-12-01·22:06:16.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1076·2016-12-01·22:06:16.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···13140 | 3 | -rw-r--r--···0········0········0···131404·2016-12-01·22:06:16.000000·data.tar.xz |
| Offset 7, 18 lines modified | Offset 7, 18 lines modified | ||
| 7 | -rw-r--r--···0·root·········(0)·root·········(0)·····2549·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/changelog.Debian.gz | 7 | -rw-r--r--···0·root·········(0)·root·········(0)·····2549·2016-12-01·22:06:16.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·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/ |
| 10 | -rw-r--r--···0·root·········(0)·root·········(0)·····4942·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria.html | 10 | -rw-r--r--···0·root·········(0)·root·········(0)·····4942·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria.html |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····5889·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_1.html | 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····5889·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_1.html |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)····29581·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_10.html | 12 | -rw-r--r--···0·root·········(0)·root·········(0)····29581·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_10.html |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)····16258·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_11.html | 13 | -rw-r--r--···0·root·········(0)·root·········(0)····16258·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_11.html |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)···18799 | 14 | -rw-r--r--···0·root·········(0)·root·········(0)···187995·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_2.html |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)···133256·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_3.html | 15 | -rw-r--r--···0·root·········(0)·root·········(0)···133256·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_3.html |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)····27683·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_4.html | 16 | -rw-r--r--···0·root·········(0)·root·········(0)····27683·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_4.html |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····4664 | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····46643·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_5.html |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)·····4889·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_6.html | 18 | -rw-r--r--···0·root·········(0)·root·········(0)·····4889·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_6.html |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)····20528·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_7.html | 19 | -rw-r--r--···0·root·········(0)·root·········(0)····20528·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_7.html |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)····10570·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_8.html | 20 | -rw-r--r--···0·root·········(0)·root·········(0)····10570·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_8.html |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)····25499·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_9.html | 21 | -rw-r--r--···0·root·········(0)·root·········(0)····25499·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_9.html |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····5289·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_abt.html | 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····5289·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_abt.html |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····4172·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_fot.html | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····4172·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_fot.html |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)····20078·2016-12-01·22:06:16.000000·./usr/share/doc/maria-doc/html/maria_toc.html | 24 | -rw-r--r--···0·root·········(0)·root·········(0)····20078·2016-12-01·22:06:16.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> |
| Offset 211, 15 lines modified | Offset 211, 15 lines modified | ||
| 211 | ······<li><a·name="toc-Checking-Liveness-Properties"·href="maria_4.html#Liveness">3.2.2·Checking·Liveness·Properties</a></li> | 211 | ······<li><a·name="toc-Checking-Liveness-Properties"·href="maria_4.html#Liveness">3.2.2·Checking·Liveness·Properties</a></li> |
| 212 | ····</ul> | 212 | ····</ul> |
| 213 | </li> | 213 | </li> |
| 214 | ··</ul></li> | 214 | ··</ul></li> |
| 215 | ··<li><a·name="toc-The-Grammar"·href="maria_5.html#Grammar">A.·The·Grammar</a> | 215 | ··<li><a·name="toc-The-Grammar"·href="maria_5.html#Grammar">A.·The·Grammar</a> |
| 216 | ··<ul·class="toc"> | 216 | ··<ul·class="toc"> |
| 217 | ····<li><a·name="toc-Terminal-Symbols-1"·href="maria_5.html#Terminal-Symbols">A.1·Terminal·Symbols</a></li> | 217 | ····<li><a·name="toc-Terminal-Symbols-1"·href="maria_5.html#Terminal-Symbols">A.1·Terminal·Symbols</a></li> |
| 218 | ····<li><a·name="toc-The-Net-Description-Language"·href="maria_5.html#Net-Grammar">A.2·The·Net·Description·Language</a> | 218 | ····<li><a·name="toc-The-Net-Description-Language-1"·href="maria_5.html#Net-Grammar">A.2·The·Net·Description·Language</a> |
| 219 | ····<ul·class="toc"> | 219 | ····<ul·class="toc"> |
| 220 | ······<li><a·name="toc-Type"·href="maria_5.html#Type-Grammar">A.2.1·Type</a> | 220 | ······<li><a·name="toc-Type"·href="maria_5.html#Type-Grammar">A.2.1·Type</a> |
| 221 | ······<ul·class="toc"> | 221 | ······<ul·class="toc"> |
| 222 | ········<li><a·name="toc-Constraint"·href="maria_5.html#Constraint-Grammar">A.2.1.1·Constraint</a></li> | 222 | ········<li><a·name="toc-Constraint"·href="maria_5.html#Constraint-Grammar">A.2.1.1·Constraint</a></li> |
| 223 | ······</ul></li> | 223 | ······</ul></li> |
| 224 | ······<li><a·name="toc-Function-1"·href="maria_5.html#Function-Grammar">A.2.2·Function</a></li> | 224 | ······<li><a·name="toc-Function-1"·href="maria_5.html#Function-Grammar">A.2.2·Function</a></li> |
| 225 | ······<li><a·name="toc-Place"·href="maria_5.html#Place-Grammar">A.2.3·Place</a></li> | 225 | ······<li><a·name="toc-Place"·href="maria_5.html#Place-Grammar">A.2.3·Place</a></li> |