國立高雄大學圖資館 |

Language: English

Back

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Paradigms of concurrencyby 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.
Contained By:	Springer Nature eBook
Subject:	Petri nets.
Online resource:	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)