D7net Mini Sh3LL v1
| Current File : //libx32/../share/libdrm/../doc/libaudit1/../xz-utils/../gpgv/../maria-doc/html/maria_10.html |
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
<html>
<!-- Created on March 22, 2020 by texi2html 1.82
texi2html was written by:
Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
Olaf Bachmann <obachman@mathematik.uni-kl.de>
and many others.
Maintained by: Many creative people.
Send bugs and suggestions to <texi2html-bug@nongnu.org>
-->
<head>
<title>Maria: Index</title>
<meta name="description" content="Maria: Index">
<meta name="keywords" content="Maria: Index">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.82">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.roman {font-family:serif; font-weight:normal;}
span.sansserif {font-family:sans-serif; font-weight:normal;}
ul.toc {list-style: none}
-->
</style>
</head>
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="Index"></a>
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="maria_9.html#How-to-Apply-These-Terms-to-Your-New-Programs" title="Previous section in reading order"> < </a>]</td>
<td valign="middle" align="left">[<a href="maria_11.html#index_split-0" title="Next section in reading order"> > </a>]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="maria_9.html#Copying" title="Beginning of this chapter or previous chapter"> << </a>]</td>
<td valign="middle" align="left">[<a href="maria.html#Top" title="Up section"> Up </a>]</td>
<td valign="middle" align="left">[ >> ]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="maria.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<a name="Index-1"></a>
<h1 class="unnumbered">Index</h1>
<table><tr><th valign="top">Jump to: </th><td><a href="#Index-1_cp_letter-A" class="summary-letter"><b>A</b></a>
<a href="#Index-1_cp_letter-B" class="summary-letter"><b>B</b></a>
<a href="#Index-1_cp_letter-C" class="summary-letter"><b>C</b></a>
<a href="#Index-1_cp_letter-D" class="summary-letter"><b>D</b></a>
<a href="#Index-1_cp_letter-E" class="summary-letter"><b>E</b></a>
<a href="#Index-1_cp_letter-F" class="summary-letter"><b>F</b></a>
<a href="#Index-1_cp_letter-G" class="summary-letter"><b>G</b></a>
<a href="#Index-1_cp_letter-I" class="summary-letter"><b>I</b></a>
<a href="#Index-1_cp_letter-L" class="summary-letter"><b>L</b></a>
<a href="#Index-1_cp_letter-M" class="summary-letter"><b>M</b></a>
<a href="#Index-1_cp_letter-N" class="summary-letter"><b>N</b></a>
<a href="#Index-1_cp_letter-O" class="summary-letter"><b>O</b></a>
<a href="#Index-1_cp_letter-P" class="summary-letter"><b>P</b></a>
<a href="maria_11.html#index_split-0_cp_letter-Q" class="summary-letter"><b>Q</b></a>
<a href="maria_11.html#index_split-0_cp_letter-R" class="summary-letter"><b>R</b></a>
<a href="maria_11.html#index_split-0_cp_letter-S" class="summary-letter"><b>S</b></a>
<a href="maria_11.html#index_split-0_cp_letter-T" class="summary-letter"><b>T</b></a>
<a href="maria_11.html#index_split-0_cp_letter-U" class="summary-letter"><b>U</b></a>
<a href="maria_11.html#index_split-0_cp_letter-V" class="summary-letter"><b>V</b></a>
</td></tr></table>
<table border="0" class="index-cp">
<tr><td></td><th align="left">Index Entry</th><th align="left"> Section</th></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-A">A</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-assertions">assertions</a></td><td valign="top"><a href="maria_2.html#Assertions">1.3.6.1 Verifying Safety Properties</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-assertions-1">assertions</a></td><td valign="top"><a href="maria_2.html#Dynamic-Errors">1.5.1.3 Dynamic Errors</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-assignments">assignments</a></td><td valign="top"><a href="maria_4.html#Binding">3.1.3 Matching Concrete and Formal Tokens</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-assignments-1">assignments</a></td><td valign="top"><a href="maria_4.html#Lvalues">3.1.4 Finding Assignment Candidates</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-B">B</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-buffers">buffers</a></td><td valign="top"><a href="maria_2.html#Buffers">1.5.6 Buffers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_7.html#index-bugs_002c-reporting">bugs, reporting</a></td><td valign="top"><a href="maria_7.html#Bugs">C.5 Reporting Bugs</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-C">C</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-capacity-constraint">capacity constraint</a></td><td valign="top"><a href="maria_2.html#Places">1.3.3 Place Definition: ‘<samp>place</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-catching-dynamic-errors">catching dynamic errors</a></td><td valign="top"><a href="maria_2.html#Dynamic-Errors">1.5.1.3 Dynamic Errors</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-character-constants">character constants</a></td><td valign="top"><a href="maria_2.html#Character-Constants">1.2.3.3 Character Constants</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-command-line-interface">command line interface</a></td><td valign="top"><a href="maria_3.html#Line-Editor">2.2.1 The Line Editor</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-command-line-options_002c-maria">command line options, ‘<samp>maria</samp>’</a></td><td valign="top"><a href="maria_3.html#Invoking-Maria">2.1 Invoking Maria</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_7.html#index-compiling">compiling</a></td><td valign="top"><a href="maria_7.html#Compiling">C. Compiling Maria</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-completion-of-names">completion of names</a></td><td valign="top"><a href="maria_3.html#Name-Completion">2.2.1.1 Name Completion</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-concepts_002c-unification">concepts, unification</a></td><td valign="top"><a href="maria_4.html#Unification-Concepts">3.1.1 Concepts</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-conditional-processing">conditional processing</a></td><td valign="top"><a href="maria_2.html#Conditions">1.2.4.2 Conditional Processing</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-conditional-processing_002c-interactively">conditional processing, interactively</a></td><td valign="top"><a href="maria_3.html#Conditional-Processing">2.2.3.2 Conditional Processing in the Editor</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-constants">constants</a></td><td valign="top"><a href="maria_2.html#Constants">1.5.1.1 Constants</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-constants_002c-character">constants, character</a></td><td valign="top"><a href="maria_2.html#Character-Constants">1.2.3.3 Character Constants</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-constants_002c-numeric">constants, numeric</a></td><td valign="top"><a href="maria_2.html#Numeric-Constants">1.2.3.2 Numeric Constants</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-D">D</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types">data types</a></td><td valign="top"><a href="maria_2.html#Data-Types">1.4 Data Types</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-array">data types, array</a></td><td valign="top"><a href="maria_2.html#Array">1.4.3.3 Array</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-boolean">data types, boolean</a></td><td valign="top"><a href="maria_2.html#Boolean">1.4.2.2 Boolean Type</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-buffer">data types, buffer</a></td><td valign="top"><a href="maria_2.html#Buffer">1.4.3.4 Buffer (Queue or Stack)</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-character">data types, character</a></td><td valign="top"><a href="maria_2.html#Character">1.4.2.3 Character Type</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-conversions">data types, conversions</a></td><td valign="top"><a href="maria_2.html#Type-Casting">1.5.2.6 Type Casting</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-defining">data types, defining</a></td><td valign="top"><a href="maria_2.html#Types">1.3.1 Type Definitions: ‘<samp>typedef</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-enumerated">data types, enumerated</a></td><td valign="top"><a href="maria_2.html#Enumerated">1.4.2.4 Enumerated Type</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-identifier">data types, identifier</a></td><td valign="top"><a href="maria_2.html#Identifier">1.4.2.5 Identifier Type</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-integer">data types, integer</a></td><td valign="top"><a href="maria_2.html#Integer">1.4.2.1 Integer Types</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-limiting-with-constraints">data types, limiting with constraints</a></td><td valign="top"><a href="maria_2.html#Constraints">1.4.4 Constraints</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-structure">data types, structure</a></td><td valign="top"><a href="maria_2.html#Structure">1.4.3.1 Structure</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-data-types_002c-union">data types, union</a></td><td valign="top"><a href="maria_2.html#Union">1.4.3.2 Union</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_7.html#index-debugging-maria">debugging ‘<tt>maria</tt>’</a></td><td valign="top"><a href="maria_7.html#Debugging">C.4 Compiling Maria for Debugging</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_8.html#index-dining-philosophers-_0028example_0029">dining philosophers (example)</a></td><td valign="top"><a href="maria_8.html#Dining">D.1 Dining Philosophers (‘<tt>dining.pn</tt>’)</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_8.html#index-distributed-database-management-_0028example_0029">distributed database management (example)</a></td><td valign="top"><a href="maria_8.html#Database">D.2 Distributed Database Management (‘<tt>dbm.pn</tt>’)</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-E">E</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-Emacs">Emacs</a></td><td valign="top"><a href="maria_3.html#Emacs">2.3 Editing Petri Nets with GNU Emacs</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-Emacs_002c-customizing">Emacs, customizing</a></td><td valign="top"><a href="maria_3.html#Fine_002dTuning">2.3.3 Customizing Emacs</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-arithmetic">expressions, arithmetic</a></td><td valign="top"><a href="maria_2.html#Integer-Arithmetic">1.5.2.1 Integer Arithmetic</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-arrays">expressions, arrays</a></td><td valign="top"><a href="maria_2.html#Arrays">1.5.5 Arrays</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-atomicity">expressions, atomicity</a></td><td valign="top"><a href="maria_2.html#Atomicity">1.5.2.7 Atomicity</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-comparison">expressions, comparison</a></td><td valign="top"><a href="maria_2.html#Comparison">1.5.2.3 Comparison</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-expressions_002c-evaluating">expressions, evaluating</a></td><td valign="top"><a href="maria_3.html#Eval">2.2.2.7 Evaluating Expressions and Formulae</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-logic">expressions, logic</a></td><td valign="top"><a href="maria_2.html#Logic">1.5.2.4 Boolean Logic</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-multi_002dset-valued">expressions, multi-set valued</a></td><td valign="top"><a href="maria_2.html#Multi_002dSets">1.6 Operations on Multi-Sets</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-overview">expressions, overview</a></td><td valign="top"><a href="maria_2.html#Expressions">1.5 Expressions and Formulae</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-predecessor">expressions, predecessor</a></td><td valign="top"><a href="maria_2.html#Successor">1.5.2.2 Successor and Predecessor</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-prohibiting-transformations">expressions, prohibiting transformations</a></td><td valign="top"><a href="maria_2.html#Atomicity">1.5.2.7 Atomicity</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-selection">expressions, selection</a></td><td valign="top"><a href="maria_2.html#Selection">1.5.2.5 Selection</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-short_002dcircuit-evaluation">expressions, short-circuit evaluation</a></td><td valign="top"><a href="maria_2.html#Logic">1.5.2.4 Boolean Logic</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-structures">expressions, structures</a></td><td valign="top"><a href="maria_2.html#Structures">1.5.3 Structures</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-successor">expressions, successor</a></td><td valign="top"><a href="maria_2.html#Successor">1.5.2.2 Successor and Predecessor</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-temporal">expressions, temporal</a></td><td valign="top"><a href="maria_2.html#Temporal">1.7 Temporal Logic</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-expressions_002c-unions">expressions, unions</a></td><td valign="top"><a href="maria_2.html#Unions">1.5.4 Unions</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-F">F</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-fairness-sets">fairness sets</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-fairness-sets-1">fairness sets</a></td><td valign="top"><a href="maria_2.html#Fairness">1.3.6.2 Defining Fairness Constraints</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-FIFO-buffers">FIFO buffers</a></td><td valign="top"><a href="maria_2.html#Buffers">1.5.6 Buffers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-functions_002c-defining">functions, defining</a></td><td valign="top"><a href="maria_2.html#Functions">1.3.2 Function Definitions</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-functions_002c-defining-1">functions, defining</a></td><td valign="top"><a href="maria_3.html#Function">2.2.2.15 Defining Functions</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-G">G</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_5.html#index-grammar_002c-summary">grammar, summary</a></td><td valign="top"><a href="maria_5.html#Grammar">A. The Grammar</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-GraphViz">GraphViz</a></td><td valign="top"><a href="maria_3.html#GraphViz">2.2.4.1 GraphViz, the Graph Visualizer</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-I">I</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-identifiers_002c-syntax-of">identifiers, syntax of</a></td><td valign="top"><a href="maria_2.html#Identifiers">1.2.3.4 Identifiers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-if_002dthen_002delse_002c-generalized">if-then-else, generalized</a></td><td valign="top"><a href="maria_2.html#Selection">1.5.2.5 Selection</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-include-files">include files</a></td><td valign="top"><a href="maria_2.html#Include">1.2.4.1 Embedding Other Files: ‘<samp>#include</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-indentation">indentation</a></td><td valign="top"><a href="maria_3.html#pn_002dmode">2.3.1 Installing the Petri Net mode</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-initial-marking">initial marking</a></td><td valign="top"><a href="maria_2.html#Places">1.3.3 Place Definition: ‘<samp>place</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_7.html#index-installing-maria">installing ‘<tt>maria</tt>’</a></td><td valign="top"><a href="maria_7.html#Installing">C.3 Installing Maria</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-invoking-maria">invoking ‘<tt>maria</tt>’</a></td><td valign="top"><a href="maria_3.html#Invoking-Maria">2.1 Invoking Maria</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-L">L</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-lexical-conventions">lexical conventions</a></td><td valign="top"><a href="maria_2.html#Lexical-Conventions">1.2 Lexical Conventions</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-LIFO-buffers">LIFO buffers</a></td><td valign="top"><a href="maria_2.html#Buffers">1.5.6 Buffers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-line-counter_002c-setting">line counter, setting</a></td><td valign="top"><a href="maria_2.html#Line">1.2.4.3 Setting the Line Number: ‘<samp>#line</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-LTL">LTL</a></td><td valign="top"><a href="maria_2.html#Temporal">1.7 Temporal Logic</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-lvalue">lvalue</a></td><td valign="top"><a href="maria_4.html#Lvalues">3.1.4 Finding Assignment Candidates</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-M">M</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_7.html#index-Makefile">‘<tt>Makefile</tt>’</a></td><td valign="top"><a href="maria_7.html#Configuring">C.2 Editing the ‘<tt>Makefile</tt>’ files</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-marking-expressions">marking expressions</a></td><td valign="top"><a href="maria_2.html#Multi_002dSets">1.6 Operations on Multi-Sets</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-model-checking">model checking</a></td><td valign="top"><a href="maria_3.html#Eval">2.2.2.7 Evaluating Expressions and Formulae</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-model-checking_002c-liveness">model checking, liveness</a></td><td valign="top"><a href="maria_4.html#Liveness">3.2.2 Checking Liveness Properties</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-model-checking_002c-safety">model checking, safety</a></td><td valign="top"><a href="maria_4.html#Safety">3.2.1 Checking Safety Properties</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-modeling">modeling</a></td><td valign="top"><a href="maria_2.html#Modeling">1. The Net Description Language</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-modules">modules</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-modules-1">modules</a></td><td valign="top"><a href="maria_2.html#Subnets">1.3.5 Defining Subnets for Modular State Space Exploration</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-modules-2">modules</a></td><td valign="top"><a href="maria_3.html#Subnet">2.2.2.10 Selecting the Active Subnet</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-multi_002dsets">multi-sets</a></td><td valign="top"><a href="maria_2.html#Multi_002dSets">1.6 Operations on Multi-Sets</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-multiplicity">multiplicity</a></td><td valign="top"><a href="maria_2.html#Multi_002dSets">1.6 Operations on Multi-Sets</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-N">N</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-name-spaces">name spaces</a></td><td valign="top"><a href="maria_2.html#Scoping">1.9 Scoping of Identifiers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-names_002c-completion-of">names, completion of</a></td><td valign="top"><a href="maria_3.html#Name-Completion">2.2.1.1 Name Completion</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-nets_002c-composing">nets, composing</a></td><td valign="top"><a href="maria_2.html#Modeling">1. The Net Description Language</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-nets_002c-constructs">nets, constructs</a></td><td valign="top"><a href="maria_2.html#Net-Constructs">1.3 Constructs for Defining Nets</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-nets_002c-on_002dthe_002dfly-verification">nets, on-the-fly verification</a></td><td valign="top"><a href="maria_2.html#Verification">1.3.6 On-the-Fly Verification</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-nets_002c-place-definition">nets, place definition</a></td><td valign="top"><a href="maria_2.html#Places">1.3.3 Place Definition: ‘<samp>place</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-nets_002c-transition-definition">nets, transition definition</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-non_002ddeterminism">non-determinism</a></td><td valign="top"><a href="maria_2.html#Output-Variables">1.8 Non-Determinism in Transitions</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-numeric-constants">numeric constants</a></td><td valign="top"><a href="maria_2.html#Numeric-Constants">1.2.3.2 Numeric Constants</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-O">O</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-operator-precedence">operator precedence</a></td><td valign="top"><a href="maria_2.html#Operators">1.5.2 Operators</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-output-variables">output variables</a></td><td valign="top"><a href="maria_2.html#Output-Variables">1.8 Non-Determinism in Transitions</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="Index-1_cp_letter-P">P</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-Petri-Net-mode">Petri Net mode</a></td><td valign="top"><a href="maria_3.html#pn_002dmode">2.3.1 Installing the Petri Net mode</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-places_002c-input">places, input</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-places_002c-output">places, output</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-preprocessor">preprocessor</a></td><td valign="top"><a href="maria_2.html#Preprocessor">1.2.4 Preprocessor Directives</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-preprocessor-symbols">preprocessor symbols</a></td><td valign="top"><a href="maria_2.html#Conditions">1.2.4.2 Conditional Processing</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-printing">printing</a></td><td valign="top"><a href="maria_3.html#GraphViz">2.2.4.1 GraphViz, the Graph Visualizer</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-priority-transitions">priority transitions</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
</table>
<table><tr><th valign="top">Jump to: </th><td><a href="#Index-1_cp_letter-A" class="summary-letter"><b>A</b></a>
<a href="#Index-1_cp_letter-B" class="summary-letter"><b>B</b></a>
<a href="#Index-1_cp_letter-C" class="summary-letter"><b>C</b></a>
<a href="#Index-1_cp_letter-D" class="summary-letter"><b>D</b></a>
<a href="#Index-1_cp_letter-E" class="summary-letter"><b>E</b></a>
<a href="#Index-1_cp_letter-F" class="summary-letter"><b>F</b></a>
<a href="#Index-1_cp_letter-G" class="summary-letter"><b>G</b></a>
<a href="#Index-1_cp_letter-I" class="summary-letter"><b>I</b></a>
<a href="#Index-1_cp_letter-L" class="summary-letter"><b>L</b></a>
<a href="#Index-1_cp_letter-M" class="summary-letter"><b>M</b></a>
<a href="#Index-1_cp_letter-N" class="summary-letter"><b>N</b></a>
<a href="#Index-1_cp_letter-O" class="summary-letter"><b>O</b></a>
<a href="#Index-1_cp_letter-P" class="summary-letter"><b>P</b></a>
<a href="maria_11.html#index_split-0_cp_letter-Q" class="summary-letter"><b>Q</b></a>
<a href="maria_11.html#index_split-0_cp_letter-R" class="summary-letter"><b>R</b></a>
<a href="maria_11.html#index_split-0_cp_letter-S" class="summary-letter"><b>S</b></a>
<a href="maria_11.html#index_split-0_cp_letter-T" class="summary-letter"><b>T</b></a>
<a href="maria_11.html#index_split-0_cp_letter-U" class="summary-letter"><b>U</b></a>
<a href="maria_11.html#index_split-0_cp_letter-V" class="summary-letter"><b>V</b></a>
</td></tr></table>
<hr size="6">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="maria_9.html#Copying" title="Beginning of this chapter or previous chapter"> << </a>]</td>
<td valign="middle" align="left">[ >> ]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="maria.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<p>
<font size="-1">
This document was generated by <em>root</em> on <em>March 22, 2020</em> using <a href="http://www.nongnu.org/texi2html/"><em>texi2html 1.82</em></a>.
</font>
<br>
</p>
</body>
</html>
AnonSec - 2021 | Recode By D7net