Index

A | B | C | E | F | G | I | L | M | N | O | P | R | S | T | V

A

action language
constant context
function call
if
non-constant context
operators
atom, [1]
priority, [1]
type
atom type, [1]
automaton, [1]

B

back-end
bip2bip
broadcast

C

C++
const context
external code
external data type
serialization
component
interface
compound
priorities
type
compound type, [1]
connector, [1]
exported port
hierarchical
interaction
synchron
top-level
trigger
type
connector type, [1]
const context
C++
constant context
action language

E

engine
execution
interaction
transition
execution sequence
external code
C++
external data type
C++
external type

F

front-end
function call
action language

G

guard, [1], [2]

I

if
action language
interaction
enabled
execution
guard
interface
ivy

L

labeled transition system
LTS

M

marking
maximal progress, [1]
meta-model
middle-end
model
semantics
state

N

non-determinism, [1]

O

operators
action language

P

package, [1]
parser
antlr
Petri net, [1], [2]
1-safe
marking
non-determinism
place
transition
place
port, [1], [2]
enabled, [1], [2]
exported
internal
merged export
synchron
trigger
type
port type
priorities, [1]
priority, [1]
``*``
atom, [1]
compound
cycle
dynamic
maximal progress, [1]
rule, [1]

R

rendez-vous

S

semantics
serialization
C++
state
syntax
compound type
connector type
package

T

transition
enabled
execution
guard
initial
internal
invisible
maximal
visible
transitive closure
type
atom
compound
connector
variable

V

variable, [1]
exported
type
type; external
type; native
visible state