# /* Avtomat za menjavo drobiza - iz magisterija */
# /* Robert Meolic, 14. 10. 1999 */
# /* Primer za sestavljanje procesov. */

pa_read_process "menjava.dat"
pa_encode_process "AVT UPR"
versis_compose 1 S "AVT UPR" "JEZ"
pa_decode_composition S

pa_composition2process S

outline ""
pa_write_process S
pa_decode_initial_state 0 S

outline ""
outline "REPORT ABOUT STATE S3"
pa_decode_composed_state S S3
