東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Application and theory of petri nets...

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

FindBook

Google Book

Amazon

博客來

Application and theory of petri nets and concurrency = 42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Application and theory of petri nets and concurrency/ edited by Didier Buchs, Josep Carmona.
其他題名:	42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /
其他題名:	PETRI NETS 2021
其他作者:	Buchs, Didier.
團體作者:	International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	xi, 487 p. :ill. (some col.), digital ;24 cm.
內容註:	Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.
Contained By:	Springer Nature eBook
標題:	Petri nets - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-76983-3
ISBN:	9783030769833

Application and theory of petri nets and concurrency = 42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /
Application and theory of petri nets and concurrency42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /[electronic resource] :PETRI NETS 2021edited by Didier Buchs, Josep Carmona. - Cham :Springer International Publishing :2021. - xi, 487 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,127340302-9743 ;. - Lecture notes in computer science ;12734..

Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.

ISBN: 9783030769833

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

663832
Petri nets
--Congresses.

LC Class. No.: QA267 / .I57 2021

Dewey Class. No.: 511.35

Application and theory of petri nets and concurrency = 42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /
LDR:03647nmm a2200373 a 4500 001 2301524
003 DE-He213
005 20220223022955.0
006 m d
007 cr nn 008maaau
008 230409s2021 sz s 0 eng d
020 $a 9783030769833 $q (electronic bk.)
020 $a 9783030769826 $q (paper)
024 7 $a 10.1007/978-3-030-76983-3 $2 doi
035 $a 978-3-030-76983-3
035 $a 2301524
040 $a GP $c GP
041 0 $a eng
050 4 $a QA267 $b .I57 2021
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 511.35 $2 23
090 $a QA267 $b .I61 2021
111 2 $a International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency $n (42nd : $d 2021 : $c Online) $3 3601001
245 1 0 $a Application and theory of petri nets and concurrency $h [electronic resource] : $b 42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings / $c edited by Didier Buchs, Josep Carmona.
246 3 $a PETRI NETS 2021
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xi, 487 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12734
490 1 $a Theoretical computer science and general issues
505 0 $a Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data.
520 $a This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
650 0 $a Petri nets $x Congresses. $3 663832
650 0 $a Computer multitasking $v Congresses. $3 1071345
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Design and Analysis of Algorithms. $3 3538532
650 2 4 $a Data Structures and Information Theory. $3 3382368
650 2 4 $a Discrete Mathematics in Computer Science. $3 892513
650 2 4 $a Software Engineering. $3 890874
700 1 $a Buchs, Didier. $3 3601002
700 1 $a Carmona, Josep. $3 3251539
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12734. $3 3601003
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-030-76983-3
950 $a Computer Science (SpringerNature-11645)