[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Index

Jump to:   A   B   C   D   E   F   G   I   L   M   N   O   P   Q   R   S   T   U   V  
Index Entry Section

A
assertions1.3.6.1 Verifying Safety Properties
assertions1.5.1.3 Dynamic Errors
assignments3.1.3 Matching Concrete and Formal Tokens
assignments3.1.4 Finding Assignment Candidates

B
buffers1.5.6 Buffers
bugs, reportingC.5 Reporting Bugs

C
capacity constraint1.3.3 Place Definition: ‘place
catching dynamic errors1.5.1.3 Dynamic Errors
character constants1.2.3.3 Character Constants
command line interface2.2.1 The Line Editor
command line options, ‘maria2.1 Invoking Maria
compilingC. Compiling Maria
completion of names2.2.1.1 Name Completion
concepts, unification3.1.1 Concepts
conditional processing1.2.4.2 Conditional Processing
conditional processing, interactively2.2.3.2 Conditional Processing in the Editor
constants1.5.1.1 Constants
constants, character1.2.3.3 Character Constants
constants, numeric1.2.3.2 Numeric Constants

D
data types1.4 Data Types
data types, array1.4.3.3 Array
data types, boolean1.4.2.2 Boolean Type
data types, buffer1.4.3.4 Buffer (Queue or Stack)
data types, character1.4.2.3 Character Type
data types, conversions1.5.2.6 Type Casting
data types, defining1.3.1 Type Definitions: ‘typedef
data types, enumerated1.4.2.4 Enumerated Type
data types, identifier1.4.2.5 Identifier Type
data types, integer1.4.2.1 Integer Types
data types, limiting with constraints1.4.4 Constraints
data types, structure1.4.3.1 Structure
data types, union1.4.3.2 Union
debugging ‘mariaC.4 Compiling Maria for Debugging
dining philosophers (example)D.1 Dining Philosophers (‘dining.pn’)
distributed database management (example)D.2 Distributed Database Management (‘dbm.pn’)

E
Emacs2.3 Editing Petri Nets with GNU Emacs
Emacs, customizing2.3.3 Customizing Emacs
expressions, arithmetic1.5.2.1 Integer Arithmetic
expressions, arrays1.5.5 Arrays
expressions, atomicity1.5.2.7 Atomicity
expressions, comparison1.5.2.3 Comparison
expressions, evaluating2.2.2.7 Evaluating Expressions and Formulae
expressions, logic1.5.2.4 Boolean Logic
expressions, multi-set valued1.6 Operations on Multi-Sets
expressions, overview1.5 Expressions and Formulae
expressions, predecessor1.5.2.2 Successor and Predecessor
expressions, prohibiting transformations1.5.2.7 Atomicity
expressions, selection1.5.2.5 Selection
expressions, short-circuit evaluation1.5.2.4 Boolean Logic
expressions, structures1.5.3 Structures
expressions, successor1.5.2.2 Successor and Predecessor
expressions, temporal1.7 Temporal Logic
expressions, unions1.5.4 Unions

F
fairness sets1.3.4 Transition Definition: ‘trans
fairness sets1.3.6.2 Defining Fairness Constraints
FIFO buffers1.5.6 Buffers
functions, defining1.3.2 Function Definitions
functions, defining2.2.2.15 Defining Functions

G
grammar, summaryA. The Grammar
GraphViz2.2.4.1 GraphViz, the Graph Visualizer

I
identifiers, syntax of1.2.3.4 Identifiers
if-then-else, generalized1.5.2.5 Selection
include files1.2.4.1 Embedding Other Files: ‘#include
indentation2.3.1 Installing the Petri Net mode
initial marking1.3.3 Place Definition: ‘place
installing ‘mariaC.3 Installing Maria
invoking ‘maria2.1 Invoking Maria

L
lexical conventions1.2 Lexical Conventions
LIFO buffers1.5.6 Buffers
line counter, setting1.2.4.3 Setting the Line Number: ‘#line
LTL1.7 Temporal Logic
lvalue3.1.4 Finding Assignment Candidates

M
MakefileC.2 Editing the ‘Makefile’ files
marking expressions1.6 Operations on Multi-Sets
model checking2.2.2.7 Evaluating Expressions and Formulae
model checking, liveness3.2.2 Checking Liveness Properties
model checking, safety3.2.1 Checking Safety Properties
modeling1. The Net Description Language
modules1.3.4 Transition Definition: ‘trans
modules1.3.5 Defining Subnets for Modular State Space Exploration
modules2.2.2.10 Selecting the Active Subnet
multi-sets1.6 Operations on Multi-Sets
multiplicity1.6 Operations on Multi-Sets

N
name spaces1.9 Scoping of Identifiers
names, completion of2.2.1.1 Name Completion
nets, composing1. The Net Description Language
nets, constructs1.3 Constructs for Defining Nets
nets, on-the-fly verification1.3.6 On-the-Fly Verification
nets, place definition1.3.3 Place Definition: ‘place
nets, transition definition1.3.4 Transition Definition: ‘trans
non-determinism1.8 Non-Determinism in Transitions
numeric constants1.2.3.2 Numeric Constants

O
operator precedence1.5.2 Operators
output variables1.8 Non-Determinism in Transitions

P
Petri Net mode2.3.1 Installing the Petri Net mode
places, input1.3.4 Transition Definition: ‘trans
places, output1.3.4 Transition Definition: ‘trans
preprocessor1.2.4 Preprocessor Directives
preprocessor symbols1.2.4.2 Conditional Processing
printing2.2.4.1 GraphViz, the Graph Visualizer
priority transitions1.3.4 Transition Definition: ‘trans

Jump to:   A   B   C   D   E   F   G   I   L   M   N   O   P   Q   R   S   T   U   V  

[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by root on November 22, 2009 using texi2html 1.82.