東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Application and theory of petri nets...

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Application and theory of petri nets and concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Application and theory of petri nets and concurrency/ edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain.
Reminder of title:	41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings /
remainder title:	PETRI NETS 2020
other author:	Janicki, Ryszard.
corporate name:	International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xi, 437 p. :ill., digital ;24 cm.
[NT 15003449]:	Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools.
Contained By:	Springer Nature eBook
Subject:	Petri nets - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-51831-8
ISBN:	9783030518318

Application and theory of petri nets and concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings /
Application and theory of petri nets and concurrency41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings /[electronic resource] :PETRI NETS 2020edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain. - Cham :Springer International Publishing :2020. - xi, 437 p. :ill., digital ;24 cm. - Lecture notes in computer science,121520302-9743 ;. - Lecture notes in computer science ;12152..

Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools.

This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 17 regular and 6 tool papers presented together in this volume were carefully reviewed and selected from 56 submissions. The focus of the conference is on following topics: application of concurrency to system design; languages and synthesis; semantics; process mining and applications; extensions and model checking; tools.

ISBN: 9783030518318

Standard No.: 10.1007/978-3-030-51831-8doiSubjects--Topical Terms:

663832
Petri nets
--Congresses.

LC Class. No.: QA267 / .I57 2020

Dewey Class. No.: 511.35

Application and theory of petri nets and concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings /
LDR:02060nmm a2200373 a 4500 001 2257909
003 DE-He213
005 20200703071824.0
006 m d
007 cr nn 008maaau
008 220420s2020 sz s 0 eng d
020 $a 9783030518318 $q (electronic bk.)
020 $a 9783030518301 $q (paper)
024 7 $a 10.1007/978-3-030-51831-8 $2 doi
035 $a 978-3-030-51831-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA267 $b .I57 2020
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 511.35 $2 23
090 $a QA267 $b .I61 2020
111 2 $a International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency $n (41st : $d 2020 : $c Online) $3 3529510
245 1 0 $a Application and theory of petri nets and concurrency $h [electronic resource] : $b 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020 : proceedings / $c edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain.
246 3 $a PETRI NETS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xi, 437 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12152
490 1 $a Theoretical computer science and general issues
505 0 $a Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools.
520 $a This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 17 regular and 6 tool papers presented together in this volume were carefully reviewed and selected from 56 submissions. The focus of the conference is on following topics: application of concurrency to system design; languages and synthesis; semantics; process mining and applications; extensions and model checking; tools.
650 0 $a Petri nets $x Congresses. $3 663832
650 0 $a Computer multitasking $v Congresses. $3 1071345
650 1 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Discrete Mathematics in Computer Science. $3 892513
650 2 4 $a Data Structures. $3 891009
650 2 4 $a Information Systems and Communication Service. $3 891044
700 1 $a Janicki, Ryszard. $3 3529511
700 1 $a Sidorova, Natalia. $3 3529512
700 1 $a Chatain, Thomas. $3 3529513
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12152. $3 3529514
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-51831-8
950 $a Computer Science (SpringerNature-11645)