Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Guardat en:

Dades bibliogràfiques
Autor principal:	Jensen, Kurt (autor)
Altres autors:	Kristensen, Lars M. (autor) (autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Berlín, Alemania : Springer, 2009, c2009
Matèries:	Redes de Petri - > Tema Principal Redes (Matemáticas) Métodos de Simulación Modelos Matemáticos Teoría de Grafos Sistemas Computacionales Ingeniería Computacional Matemáticas
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam^a2200000^a^4500
001	000358131
005	20250521000000.0
009	20260310115320.997
020			\|a 978-3-642-00283-0
037			\|a Acervo ITESO - Biblioteca
041			\|a ING
082			\|a 511. 5 \|b JEN
100			\|a Jensen, Kurt \|e (autor)
245	1	0	\|a Coloured Petri Nets : \|b Modelling and Validation of Concurrent Systems / \|c K. Jensen, L.M. Kristensen.
264		4	\|a Berlín, Alemania : \|b Springer, \|c 2009, c2009
300			\|a XI, 384 p.
336			\|a texto \|b txt \|2 rdacontenido
337			\|a sin mediación \|b n \|2 rdamedio
338			\|a volumen \|b nc \|2 rdasoporte
649			\|a XX
650			\|a Redes de Petri - \|x Tema Principal
650			\|a Redes (Matemáticas)
650			\|a Métodos de Simulación
650			\|a Modelos Matemáticos
650			\|a Teoría de Grafos
650			\|a Sistemas Computacionales
650			\|a Ingeniería Computacional
650			\|a Matemáticas
700			\|a Kristensen, Lars M. \|e (autor)
910			\|a Fondo General
920			\|a Impresos - Libros
930			\|a Colección General
905			\|a 101
901			\|a 0500250422 \|b IT1 \|c ACC \|i C147465 \|u 20250521
902			\|a https://opac.biblio.iteso.mx/vufind/Record/000358131