| Index Entry | Section |
|
Q | | |
| quantification | 1.6 Operations on Multi-Sets |
| quantification, expanding | 3.1.2 Expanding Quantifications |
| query language | 2.2.2 The Query Language |
| query language | A.3 The Query Language |
| queues | 1.5.6 Buffers |
|
R | | |
| random behavior | 1.8 Non-Determinism in Transitions |
| reachability analysis | 2. Reachability Analysis with Maria |
| reachability graph, examining | 2.2 The Maria Shell |
| reachability graph, file format | B. The Graph Files |
| reachability graph, generating | 2.1 Invoking Maria |
| Readline | 2.2.1.1 Name Completion |
| redundant places | 1.3.3 Place Definition: ‘place’ |
| reserved words | 1.2.3.1 Reserved Words |
|
S | | |
| scoping, identifiers | 1.9 Scoping of Identifiers |
| sets | 1.6 Operations on Multi-Sets |
| shadowing declarations | 1.9 Scoping of Identifiers |
| simulating | 2.2.2.11 Listing Successor Nodes |
| stacks | 1.5.6 Buffers |
| state propositions | 1.3.6.3 Specifying State Propositions for LSTS Output |
| state space explosion, avoiding | 1.4.4 Constraints |
| strongly connected components | 2.2.2.16 Strongly Connected Components |
| subnets | 1.3.5 Defining Subnets for Modular State Space Exploration |
| successor and predecessor | 1.5.2.2 Successor and Predecessor |
| syntax highlighting | 2.3.1 Installing the Petri Net mode |
| syntax highlighting | 2.3.2 Syntax Highlighting |
|
T | | |
| temporal operators | 1.7 Temporal Logic |
| terminal component | 2.2.2.16 Strongly Connected Components |
| tokens | 1.3.3 Place Definition: ‘place’ |
| tokens, formal and concrete | 3.1.3 Matching Concrete and Formal Tokens |
| transitions, enabled | 1.3.4 Transition Definition: ‘trans’ |
| transitions, firing | 1.3.4 Transition Definition: ‘trans’ |
| transitions, instance analysis | 3.1.5 Transition Instance Analysis |
| trivial component | 2.2.2.16 Strongly Connected Components |
|
U | | |
| unification | 3.1 The Unification Algorithm |
| unification stack | 3.1.5 Transition Instance Analysis |
| unions, active component | 1.5.4 Unions |
|
V | | |
| variable declarations | 1.3.4 Transition Definition: ‘trans’ |
| variables | 1.5.1.2 Variables |
| variables, output | 1.8 Non-Determinism in Transitions |
|