- 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.