國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Application and theory of petri nets...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Application and theory of petri nets and concurrencyedited by Didier Buchs, Josep Carmona.
其他題名:	42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /
其他題名:	PETRI NETS 2021
其他作者:	Buchs, Didier.
團體作者:
出版者:	Cham :Springer International Publishing :2021.
面頁冊數:	xi, 487 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Petri netsCongresses.
電子資源:	https://doi.org/10.1007/978-3-030-76983-3
ISBN:	9783030769833$q(electronic bk.)

Application and theory of petri nets and concurrency42nd 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 ;4891..

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$q(electronic bk.)

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

384469
Petri nets
--Congresses.

LC Class. No.: QA267 / .I57 2021

Dewey Class. No.: 511.35

Application and theory of petri nets and concurrency42nd International Conference, PETRI NETS 2021, virtual event, June 23-25, 2021 : proceedings /
LDR:03623nmm a2200361 a 4500 001 616000
003 DE-He213
005 20220223022955.0
006 m d
007 cr nn 008maaau
008 220831s2021 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
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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $v Congresses. $3 384469
650 0 $a Computer multitasking $v Congresses. $3 384470
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 913141
650 2 4 $a Design and Analysis of Algorithms. $3 913142
650 2 4 $a Data Structures and Information Theory. $3 825714
650 2 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Software Engineering. $3 274511
700 1 $a Buchs, Didier. $3 914914
700 1 $a Carmona, Josep. $3 790821
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-76983-3
950 $a Computer Science (SpringerNature-11645)