國立高雄大學圖資館 |

登入

回首頁

Paradigms of concurrencyobservations, behaviours, and systems -- a petri net view /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Paradigms of concurrencyby Ryszard Janicki ... [et al.].
其他題名:	observations, behaviours, and systems -- a petri net view /
其他作者:	Janicki, Ryszard.
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg :2022.
面頁冊數:	xii, 326 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Petri nets.
電子資源:	https://doi.org/10.1007/978-3-662-64821-6
ISBN:	9783662648216$q(electronic bk.)

Paradigms of concurrencyobservations, behaviours, and systems -- a petri net view /
Paradigms of concurrencyobservations, behaviours, and systems -- a petri net view /[electronic resource] :by Ryszard Janicki ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg :2022. - xii, 326 p. :ill., digital ;24 cm. - Studies in computational intelligence,v. 10201860-9503 ;. - Studies in computational intelligence ;v. 216..

Introduction -- Preliminaries -- Semantical Domains -- Concurrency Traces.

Paradigms 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.

ISBN: 9783662648216$q(electronic bk.)

Standard No.: 10.1007/978-3-662-64821-6doiSubjects--Topical Terms:

278494
Petri nets.

LC Class. No.: QA267

Dewey Class. No.: 511.35

Paradigms of concurrencyobservations, behaviours, and systems -- a petri net view /
LDR:02421nmm a2200349 a 4500 001 625860
003 DE-He213
005 20220607201310.0
006 m d
007 cr nn 008maaau
008 230109s2022 gw s 0 eng d
020 $a 9783662648216$q(electronic bk.)
020 $a 9783662648193$q(paper)
024 7 $a 10.1007/978-3-662-64821-6 $2 doi
035 $a 978-3-662-64821-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA267
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 511.35 $2 23
090 $a QA267 $b .P222 2022
245 0 0 $a Paradigms of concurrency $h [electronic resource] : $b observations, behaviours, and systems -- a petri net view / $c by Ryszard Janicki ... [et al.].
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2022.
300 $a xii, 326 p. : $b ill., digital ; $c 24 cm.
338 $a online resource $b cr $2 rdacarrier
490 1 $a Studies in computational intelligence, $x 1860-9503 ; $v v. 1020
505 0 $a Introduction -- Preliminaries -- Semantical Domains -- Concurrency Traces.
520 $a Paradigms 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 0 $a Petri nets. $3 278494
650 0 $a Computer multitasking. $3 679230
650 1 4 $a Computational Intelligence. $3 338479
650 2 4 $a Artificial Intelligence. $3 212515
700 1 $a Janicki, Ryszard. $3 884057
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Studies in computational intelligence ; $v v. 216. $3 380871
856 4 0 $u https://doi.org/10.1007/978-3-662-64821-6
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)