Number of the records: 1
Coloured petri nets
Title statement Coloured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen Personal name Jensen, Kurt, 1950- (author) Issue data Dordrecht : Springer, c2009 Phys.des. xi, 384 s. : il., grafy ; 25 cm ISBN 978-3-642-00283-0 (váz.) Internal Bibliographies/Indexes Note Obsahuje bibliografii na s. 375-379, rejstřík Another responsib. Kristensen, Lars Michael (author) Subj. Headings Petriho sítě * distribuované systémy * matematické modelování Form, Genre příručky UDC 519.1 * 519.6 Country Nizozemsko Language angličtina Document kind Books 
Call number Barcode Sublocation Volný výběr Info KB 16663 3300029167 IN - Barilla Ing. In-Library Use Only KB 16663 3300029168 volný výběr A610 2009 Date due 31 days
Number of the records: 1