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
700			_aKleijn, Jetty
700			_aKoutny, Maciej
700			_aMikulski, Lukasz
942			_2ddc _cBK