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