000			02772nam a22003495i 4500
001			316046
003			MX-SnUAN
005			20160429160917.0
007			cr nn 008mamaa
008			160108s2014 gw | s |||| 0|eng d
020			_a9783319077345 _9978-3-319-07734-5
035			_avtls000417529
039		9	_y201601081142 _zstaff
050		4	_aQA76.9.L63
245	1	0	_aApplication and theory of petri nets and concurrency : _b35th international conference, petri nets 2014, tunis, tunisia, june 23-27, 2014. Proceedings / _cedited by Gianfranco Ciardo, Ekkart Kindler.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2014.
300			_axiv, 395 páginas : _b155 ilustraciones
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v8489
500			_aSpringer eBooks
505	0		_aPropagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aCiardo, Gianfranco, _eeditor. _9329787
700	1		_aKindler, Ekkart, _eeditor. _9344358
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319077338
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-07734-5 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c316046 _d316046