Number of the records: 1
Coloured Petri nets
Title statement Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen Personal name Jensen, Kurt, 1950- (author) Edition statement Softcover re-print of the hardcover 1st edition Publication Berlin ; Heidelberg : Springer, 2009 Phys.des. xi, 384 stran : grafy, schémata ISBN 978-3-642-42581-3 (brožováno) Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Kristensen, Lars Michael (author) Subj. Headings Petriho sítě Petri nets * modelování a simulace modeling and simulation * softwarové inženýrství software engineering Form, Genre učebnice vysokých škol textbooks (higher) Conspect 519.1/.8 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 004.41 , 004.94 , 519.86/.87 , 519.179.2 , (075.8) Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/1518 (PřF) 3134046415 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1