libFAUDES

Sections

Types

Functions

libFAUDES: Example Data

Example Data: hio_tu_constrE.gen

Graph as png-image

Token IO

    <Generator>
    "Environment Constraint" 

    <Alphabet>
    "req_fl" +U+
    "req_tr" +U+
    "nack" +Y+
    "pack" +Y+
    </Alphabet>

    <States>
    "1" "2"
    </States>

    <TransRel>
    "1" "req_fl" "2"
    "1" "req_tr" "2"
    "2" "pack" "1"
    </TransRel>

    <InitStates>
    "1"            
    </InitStates>

    <MarkedStates>
    "1" "2"
    </MarkedStates>

    </Generator>

libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"