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 0 0/0 1 0