000			02084nam a22003735i 4500
001			324485
003			MX-SnUAN
005			20160429161716.0
007			cr nn 008mamaa
008			160111s2015 gw | s |||| 0|eng d
020			_a9783662479674 _9978-3-662-47967-4
035			_avtls000424742
039		9	_y201601111057 _zstaff
050		4	_aQA75.5-76.95
100	1		_aBadouel, Eric, _eautor. _9370372
245	1	0	_aPetri net synthesis / _cEric Badouel, Luca Bernardinello, Philippe Darondeau.
250			_a1st ed. 2015.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bSpringer, _c2015.
300			_axiii, 339 páginas : _b140 ilustraciones, 1 ilustraciones en color.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aTexts in Theoretical Computer Science. An EATCS Series, _x1862-4499
500			_aSpringer eBooks
505	0		_aIntroduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem -- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net Synthesis -- The Linear Algebraic Structure of Regions -- Synthesis of P/T-Nets from Finite Initialized Transition Systems -- Synthesis of Unbounded P/T-Nets -- P/T-Nets with the Step Firing Rule -- Extracting Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent Circuits -- Bibliography.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aBernardinello, Luca, _eautor. _9370373
700	1		_aDarondeau, Philippe, _eautor. _9329788
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783662479667
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-662-47967-4 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c324485 _d324485