000			02680nam a22003615i 4500
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
710	2		_aSpringerLink (Online service) _9106996
999			_c111551 _d111551 _x1
001			111551
003			ES-MaUEC
005			20230102113517.0
008			190527s2019 gw a s |||| 0|eng d
020			_a9783030204617
024	7		_a10.1007/978-3-030-20461-7 _2doi
040			_aES-MaUEC _bspa _dES-MaUEC
050		4	_aQA154.3 _b2019 EB
100	1		_aCzaja, Ludwik _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9671292
245	1	0	_aCause-Effect Structures : _bAn Algebra of Nets with Examples of Applications _cby Ludwik Czaja.
264		1	_aCham _bSpringer International Publishing _bImprint: Springer _c2019.
300			_a1 recurso en línea (XVII, 142 páginas) _b80 ilustraciones,30 ilustraciones a color
347			_atext file _bPDF
490	0		_aLecture Notes in Networks and Systems _x2367-3370 _v45
490	0		_aIntelligent Technologies and Robotics (Springer-42732)
505	0		_aIntroductory notes -- Basics of elementary cause-effect structures -- Extensions of elementary cause-effect structures -- Another extension: time in elementary c-e structures.
520	3		_aThis book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised by the parallel execution of actions. However, the task description differs from that of Petri nets. The algebra is a quasi-semiring, "quasi" because of its somewhat restricted distributivity axiom. Expressions of this algebra, the cause-effect structures, have a graphic presentation as nets, but with one kind of named nodes, each annotated by two expressions that specify the type of signal reception from predecessors and transmission to successors. Many structural and behavioural properties are stated with proofs, and illustrative sample tasks are included. The book is intended for all those interested or involved in parallel and distributed computing - students, researchers and practitioners alike.
650		7	_aÁlgebra _9140864 _2embne
776	0	8	_iPrinted edition: _z9783030204600
776	0	8	_iPrinted edition: _z9783030204624
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-20461-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
988			_aPrimersemestre_2019_Robotics
998			_aSI _a_alco _a_vill _b11/2019 _cm _dz _ea _feng _ggw _h0