LEADER 03556nam  22007335  450 
001 996418296803316
005 20230221142405.0
010   $a3-030-51831-0
024 7 $a10.1007/978-3-030-51831-8
035   $a(CKB)4100000011325524
035   $a(MiAaPQ)EBC6281678
035   $a(DE-He213)978-3-030-51831-8
035   $a(PPN)248595415
035   $a(EXLCZ)994100000011325524
100   $a20200624d2020      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aApplication and Theory of Petri Nets and Concurrency$b[electronic resource] $e41st International Conference, PETRI NETS 2020, Paris, France, June 24?25, 2020, Proceedings /$fedited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (xi, 435 pages) $cillustrations
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12152
311   $a3-030-51830-2 
327   $aApplication of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12152
606   $aComputer science
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aData structures (Computer science)
606   $aInformation theory
606   $aDatabase management
606   $aComputer Science Logic and Foundations of Programming
606   $aDesign and Analysis of Algorithms
606   $aDiscrete Mathematics in Computer Science
606   $aData Structures and Information Theory
606   $aDatabase Management System
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aData structures (Computer science).
615  0$aInformation theory.
615  0$aDatabase management.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aDesign and Analysis of Algorithms.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aData Structures and Information Theory.
615 24$aDatabase Management System.
676   $a511.3
702   $aJanicki$b Ryszard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSidorova$b Natalia$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aChatain$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418296803316
996   $aApplication and Theory of Petri Nets and Concurrency$91905519
997   $aUNISA