NAME
partg, ptg, testtg - parallel composition of timed automata
SYNOPSIS
partg f1 [.tg]
ptg [-v] f1 [.tg] f2 [.tg] [ f3 [.tg] ..]
testtg f1 [.tg] [ f2 [.tg] ..]
DESCRIPTION
partg constructs the parallel composition of two timed automata.
ptg constructs the parallel composition of several timed automata.
testtg test whether the number of states and transitions of a timed automaton coincides with the header.
OPTIONS
-v Verbose.
INPUT FILES
Timed automata (.tg file)
OUTPUT FILES
partg generates the file comp.tg
ptg generates the file _out.tg
RELATED COMMANDS
kronos
SEE ALSO
KRONOS home page.
BUGS, QUESTIONS and COMMENTS
Please contact Sergio Yovine.
Last modified: Aug 29, 1996.