000			nam a22 4500
999			_c33095 _d33095
008			240319b xxu||||| |||| 00| 0 eng d
020			_a9783662648193
082			_a511.35 _bJAN
100			_aJanicki, Ryszard
245			_aParadigms of concurrency : observations, behaviours and systems - a Petri net view
260			_bSpringer, _c2022 _aBerlin :
300			_axii, 326 p. ; _bill., _c24 cm.
365			_b139.99 _c€ _d93.50
490			_aStudies in computational intelligence ; _vv.1020
504			_aIncludes bibliographical references and index.
520			_aParadigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki (McMaster University, CA) Jetty Kleijn (Leiden University, NL) Maciej Koutny (Newcastle University, UK) Lukasz Mikulski (Nicolaus Copernicus University, PL) Concurrency can be studied at different yet consistent levels of abstraction: from individual behavioural observations via more abstract concurrent histories that can be represented by causality structures capturing invariant dependencies between executed actions, to system level constructs such as Petri nets or process algebra expressions. Histories can then be understood as sets of closely related observations. Depending on the nature of the observed relationships between executed actions involved in a single concurrent history, one may identify different concurrency paradigms underpinned by different kinds of causality structures such as partial orders. This book studies fundamental mathematical abstractions to capture and relate observations, histories, and systems. In particular, taking a Petri net view, we present system models fitting various concurrency paradigms and their associated causality structures.
650			_aComputer multitasking
650			_aPetri nets
650			_aConcurrency paradigms
650			_aElementary net systems
650			_aInhibitor Arcs
650			_aMutex Arcs
650			_aSemantical Framework
650			_aAM-system
650			_aBinary relations
650			_aCommutative diagram
650			_aConcurrent systems
650			_aEn-systems
650			_aEquivalence relation
650			_aHasse diagrams
650			_aOrder structures
650			_aRelational space
650			_aStep alphabet
650			_aTotal order
650			_aTransitive closure
700			_aKleijn, Jetty
700			_aKoutny, Maciej
700			_aMikulski, Lukasz
942			_2ddc _cBK