000 04897nam a22006255i 4500
001 978-3-030-76983-3
003 DE-He213
005 20240730180240.0
007 cr nn 008mamaa
008 210520s2021 sz | s |||| 0|eng d
020 _a9783030769833
_9978-3-030-76983-3
024 7 _a10.1007/978-3-030-76983-3
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aApplication and Theory of Petri Nets and Concurrency
_h[electronic resource] :
_b42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings /
_cedited by Didier Buchs, Josep Carmona.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXI, 487 p. 146 illus., 59 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12734
505 0 _aKeynotes -- 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 _aThis 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 _aComputer science.
_99832
650 0 _aAlgorithms.
_93390
650 0 _aData structures (Computer science).
_98188
650 0 _aInformation theory.
_914256
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 0 _aSoftware engineering.
_94138
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aDesign and Analysis of Algorithms.
_931835
650 2 4 _aData Structures and Information Theory.
_931923
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aSoftware Engineering.
_94138
700 1 _aBuchs, Didier.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9119412
700 1 _aCarmona, Josep.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9119413
710 2 _aSpringerLink (Online service)
_9119414
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030769826
776 0 8 _iPrinted edition:
_z9783030769840
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12734
_9119415
856 4 0 _uhttps://doi.org/10.1007/978-3-030-76983-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90234
_d90234