Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Guardado en:

書目詳細資料
主要作者:	Jensen, Kurt (autor)
其他作者:	Kristensen, Lars M. (autor) (autor)
格式:	圖書
語言:	英语
出版:	Berlín, Alemania : Springer, 2009, c2009
主題:	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
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

MARC


LEADER	00000nam^a2200000^a^4500
001	000358131
005	20260624000000.0
009	20260713144748.96
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 20260624
902			\|a https://opac.biblio.iteso.mx/vufind/Record/000358131