Formalization and investigation of parallel processes dispatching Radi Romansky Bulgaria Section: Technologies for System Design & Investigation : Presentation