|
|
|
|
| LEADER |
01686nam a22003014a 4500 |
| 003 |
AR-GpUB |
| 005 |
20230410102644.0 |
| 007 |
ta |
| 008 |
230410t2009 gw a 001 0 eng d |
| 999 |
|
|
|c 49013
|d 49013
|
| 020 |
|
|
|a 9783639195668
|
| 040 |
|
|
|a AR-GpUB
|b spa
|e rcaa2
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a gw
|
| 080 |
|
|
|a 681.5.015=20
|2 2000 ES
|
| 100 |
1 |
|
|a Davidrajuh, Reggie
|9 101587
|
| 245 |
1 |
0 |
|a Modeling and simulation of discrete event systems with Petri Nets :
|b a hands-on approach with GPenSIM /
|c Reggie Davidrajuh.
|
| 264 |
|
1 |
|a Saarbrücken :
|b VDM Verlag Dr. Müller,
|c 2009c.
|
| 300 |
|
|
|a 133 páginas :
|b ilustraciones ;
|c 22 cm
|
| 336 |
|
|
|2 rdacontent
|a texto
|
| 337 |
|
|
|2 rdamedia
|a sin mediación
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|
| 505 |
0 |
|
|a Installing GPenSIM. Modelin with GPenSIM: the basics. Using GPenSIM. Transition Definition File (TDF). Measuring timing. Stochastic firing times. Modular model building. Coverability tree. Global info. Improving simulation results for printout. Colored GPenSIM. Color inheritance. Token selection based on color. Summary: token selection based on color. Token selection based on time -- Modeling a single runway airport. Stochastic timer. Norwegian traffic lights -- Design of the GPenSIM simulator. Further work (future extensions). Data structures in GPenSIM. Using MSF and petrinetgraph. Description of the main functions
|
| 650 |
|
7 |
|a TEORIA DEL CONTROL
|2 lemb3
|9 34453
|
| 650 |
|
7 |
|a SISTEMAS DE TIEMPO DISCRETO
|2 lemb3
|9 67219
|
| 650 |
|
7 |
|a CONTROL AUTOMATICO
|x MODELOS MATEMATICOS
|2 lemb3
|9 101588
|
| 650 |
|
7 |
|a REDES DE PETRI
|2 lemb3
|9 54603
|
| 942 |
|
|
|2 cdu
|b 2023-04-10
|c BK-ESP
|h 681.5=20
|i DAVm
|z NG
|6 681520_DAVM
|