|
|
|
|
| LEADER |
01668nam a22003135a 4500 |
| 001 |
36531 |
| 003 |
AR-SrUBC |
| 005 |
20210617181851.0 |
| 007 |
t||||||||||||| |
| 008 |
130503m||||||||nyu#||||r|||||||||||eng|| |
| 020 |
|
|
|a 9783642002830 (hardcover)
|
| 020 |
|
|
|a 9783642002837 (e-book)
|
| 040 |
|
|
|a AR-SrUBC
|b eng
|e rcaa2
|
| 080 |
|
|
|a 681.5:004.896=20
|2 2000 ES
|
| 100 |
1 |
|
|a Jensen, Kurt.
|9 74092
|
| 245 |
1 |
0 |
|a Coloured Petri nets :
|b modeling and validation of concurrent systems /
|c Kurt Jensen, Lars M. Kristensen.
|
| 250 |
|
|
|a 1st ed
|
| 260 |
|
|
|a New York :
|b Springer,
|c 2009.
|
| 300 |
|
|
|a xi, 384 p. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 505 |
0 |
0 |
|a Contenido: Introduction to Modelling and Validation -- Non-hierarchical Coloured Petri Nets -- CPN ML Programming -- Formal Definition of Non-hierarchical Coloured Petri Nets -- Hierarchical Coloured Petri Nets -- Formal Definition of Hierarchical Coloured Petri Nets -- State Spaces and Behavioural Properties -- Advanced State Space Methods -- Formal Definition of State Spaces and Behavioural Properties -- Timed Coloured Petri Nets -- Formal Definition of Timed Coloured Petri Nets -- Simulation-based Performance Analysis -- Behavioural Visualisation -- Examples of Industrial Applications -- Teaching Coloured Petri Nets.
|
| 650 |
|
7 |
|a CONTROL AUTOMATICO
|2 lemb3
|9 30505
|
| 650 |
|
7 |
|a INGENIERIA INDUSTRIAL
|2 lemb3
|9 44062
|
| 650 |
|
7 |
|a REDES DE PETRI
|2 lemb3
|9 54603
|
| 650 |
|
7 |
|a SIMULACION POR COMPUTADORES
|2 lemb3
|9 9368
|
| 942 |
|
|
|2 cdu
|b 2013-05-03
|c BK
|d 039517
|h 681.5=20
|i JENc
|z GL
|6 681520_JENC
|
| 999 |
|
|
|c 36531
|d 36531
|