added method trans.exist, improved others
added method sync (parallel composition)