東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Paradigms of concurrency = observati...

Janicki, Ryszard.

Linked to FindBook

Google Book

Amazon

博客來

Paradigms of concurrency = observations, behaviours, and systems -- a petri net view /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Paradigms of concurrency/ by Ryszard Janicki ... [et al.].
Reminder of title:	observations, behaviours, and systems -- a petri net view /
other author:	Janicki, Ryszard.
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2022.,
Description:	xii, 326 p. :ill., digital ;24 cm.
[NT 15003449]:	Introduction -- Preliminaries -- Semantical Domains -- Concurrency Traces.
Contained By:	Springer Nature eBook
Subject:	Petri nets. -
Online resource:	https://doi.org/10.1007/978-3-662-64821-6
ISBN:	9783662648216

Paradigms of concurrency = observations, 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. 1020..

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

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

654110
Petri nets.

LC Class. No.: QA267

Dewey Class. No.: 511.35

Paradigms of concurrency = observations, behaviours, and systems -- a petri net view /
LDR:02421nmm a2200349 a 4500 001 2302023
003 DE-He213
005 20220607201310.0
006 m d
007 cr nn 008maaau
008 230409s2022 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 654110
650 0 $a Computer multitasking. $3 2058914
650 1 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Artificial Intelligence. $3 769149
700 1 $a Janicki, Ryszard. $3 3529511
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Studies in computational intelligence ; $v v. 1020. $3 3601997
856 4 0 $u https://doi.org/10.1007/978-3-662-64821-6
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)