LEADER 05109nam 22008055 450 001 9910349389703321 005 20251223153505.0 010 $a9783662583814 010 $a366258381X 024 7 $a10.1007/978-3-662-58381-4 035 $a(CKB)4100000007159059 035 $a(DE-He213)978-3-662-58381-4 035 $a(MiAaPQ)EBC6299292 035 $a(PPN)232471002 035 $a(EXLCZ)994100000007159059 100 $a20181120d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTransactions on Petri Nets and Other Models of Concurrency XIII /$fedited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek 205 $a1st ed. 2018. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2018. 215 $a1 online resource (XVII, 211 p. 69 illus., 30 illus. in color.) 225 1 $aTransactions on Petri Nets and Other Models of Concurrency,$x1867-7746 ;$v11090 311 08$a9783662583807 311 08$a3662583801 327 $aComputing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High-Utility Local Process Models -- On Stability of Regional Orthomodular Posets -- Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Complexity Aspects of Web Services Composition -- GPU Computations and Memory Access Model Based on Petri Net -- Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems -- MCC 2017 - The Seventh Model Checking Contest. 330 $aThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017. The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: fault-tolerance, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets. 410 0$aTransactions on Petri Nets and Other Models of Concurrency,$x1867-7746 ;$v11090 606 $aComputer science 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aArtificial intelligence$xData processing 606 $aTransportation engineering 606 $aTraffic engineering 606 $aData mining 606 $aOperating systems (Computers) 606 $aTheory of Computation 606 $aDiscrete Mathematics in Computer Science 606 $aData Science 606 $aTransportation Technology and Traffic Engineering 606 $aData Mining and Knowledge Discovery 606 $aOperating Systems 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aArtificial intelligence$xData processing. 615 0$aTransportation engineering. 615 0$aTraffic engineering. 615 0$aData mining. 615 0$aOperating systems (Computers). 615 14$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aData Science. 615 24$aTransportation Technology and Traffic Engineering. 615 24$aData Mining and Knowledge Discovery. 615 24$aOperating Systems. 676 $a511.3 702 $aKoutny$b Maciej$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKristensen$b Lars Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPenczek$b Wojciech$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349389703321 996 $aTransactions on Petri Nets and Other Models of Concurrency XIII$91934716 997 $aUNINA