Search results
- Coloured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen . Dordrecht : Springer, c2009 . xi, 384 s.
Dislocation Available Unavail./Only at library Issued Reservations IN - Barilla Ing. 0 0/1 0 0 volný výběr 1 0/0 0 0 - Petriho sítě : úvod do teorie a nástrojů pro aplikaci Petriho sítí / Milan Češka . Brno : CERM, 1994 . 94 s.
Dislocation Available Unavail./Only at library Issued Reservations IN - Barilla Ing. 0 0/1 0 0 kat. matematiky PřF 0 0/1 0 0 volný výběr 3 1/0 0 0 - Using Petri nets to model the chemical stages of the radiobiological mechanism / Jiří Barilla, Miloš V. Lokajíček, Hana Pisaková and Pavel Simr . New York : Nova Science Publishers, [2017] ©2017 . 160 stran
Dislocation Available Unavail./Only at library Issued Reservations volný výběr 1 0/0 0 0