1. ADVANTAGES AND DISADVANTAGES OF THE METHODS OF DESCRIBING CONCURRENT SYSTEMS. Authors: ANITA VERBOVÁ, RÓBERT HUŽVÁR.