Die 100 am häufigsten verwendeten Wörter in diesem Buch.
actions
algebraic
algorithm
allows
analysis
application
approach
arc
based
basic
behaviour
between
call
called
case
chapter
class
colour
coloured
condition
defined
definition
design
different
enabled
example
execution
fig
figure
firing
first
following
front
function
fur
general
given
graph
hat
holds
however
ii
iii
ill
initial
instance
invariant
ion
let
lie
linear
logic
marking
may
methods
model
modelling
must
net
new
node
number
object
order
part
petri
place
possible
problem
process
processing
properties
reachable
reduction
represent
resource
results
rule
section
sequence
service
set
should
since
specification
state
step
system
task
techniques
time
token
transition
two
type
unit
use
used
variables
verification
