Petriho sítě : Úvod do teorie a nástrojů pro aplikaci Petriho sítí - Češka, Milan (CERM, 1994)