Coloured Petri Nets : modelling and validation of concurrent systems
By: Jensen, Kurt.
Contributor(s): Kristensen, Lars M.
Material type:
BookPublisher: Berlin: Springer, 2009Description: xi, 384 p.; ill.: 25 cm.ISBN: 9783642002830 .Subject(s): Petri nets | Programming | State spaceDDC classification: 005.1015115
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1015115 JEN (Browse shelf) | Available | 024132 |
Browsing DAIICT Shelves Close shelf browser
| 005.1015113 NER Logic For Applications | 005.1015113 PAG Essential logic for computer science | 005.1015113 ROC Logic of Analog and Digital Machines | 005.1015115 JEN Coloured Petri Nets : modelling and validation of concurrent systems | 005.1023 MCD Cracking the coding interview : 189 programming interview questions and solutions | 005.102462 ROB Software Design for Engineers and Scientists | 005.10285 DEV Programming for the puzzled : learn to program while solving puzzles |
There are no comments for this item.