Describir: Logičeskoje upravlenije diskretnymi processami :