About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Types

Functions

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.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"