國立虎尾科技大學 |

Paradigms of Concurrency = Observations, Behaviours, and Systems — a Petri Net View /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Paradigms of Concurrency/ by Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski.
其他題名:	Observations, Behaviours, and Systems — a Petri Net View /
作者:	Janicki, Ryszard.
其他作者:	Mikulski, Łukasz.
面頁冊數:	XII, 326 p. 194 illus., 8 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Artificial Intelligence. -
電子資源:	https://doi.org/10.1007/978-3-662-64821-6
ISBN:	9783662648216

Paradigms of Concurrency = Observations, Behaviours, and Systems — a Petri Net View /
Janicki, Ryszard.

Paradigms of ConcurrencyObservations, Behaviours, and Systems — a Petri Net View /[electronic resource] :by Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski. - 1st ed. 2022. - XII, 326 p. 194 illus., 8 illus. in color.online resource. - Studies in Computational Intelligence,10201860-9503 ;. - Studies in Computational Intelligence,564.

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:

646849
Artificial Intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

Paradigms of Concurrency = Observations, Behaviours, and Systems — a Petri Net View /
LDR:02750nam a22003975i 4500 001 1087139
003 DE-He213
005 20220607201310.0
007 cr nn 008mamaa
008 221228s2022 gw | s |||| 0|eng d
020 $a 9783662648216 $9 978-3-662-64821-6
024 7 $a 10.1007/978-3-662-64821-6 $2 doi
035 $a 978-3-662-64821-6
050 4 $a Q342
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
100 1 $a Janicki, Ryszard. $e editor. $1 https://orcid.org/0000-0001-5364-9725 $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1320646
245 1 0 $a Paradigms of Concurrency $h [electronic resource] : $b Observations, Behaviours, and Systems — a Petri Net View / $c by Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski.
250 $a 1st ed. 2022.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2022.
300 $a XII, 326 p. 194 illus., 8 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Computational Intelligence, $x 1860-9503 ; $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 2 4 $a Artificial Intelligence. $3 646849
650 1 4 $a Computational Intelligence. $3 768837
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computational intelligence. $3 568984
700 1 $a Mikulski, Łukasz. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1394101
700 1 $a Koutny, Maciej. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 792463
700 1 $a Kleijn, Jetty. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 891218
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662648193
776 0 8 $i Printed edition: $z 9783662648209
830 0 $a Studies in Computational Intelligence, $x 1860-949X ; $v 564 $3 1253640
856 4 0 $u https://doi.org/10.1007/978-3-662-64821-6
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)