LEADER 05275nam 22007335 450 001 996466173903316 005 20200702184957.0 010 $a3-662-58381-X 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$b[electronic resource] /$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-7193 ;$v11090 311 $a3-662-58380-1 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-7193 ;$v11090 606 $aComputers 606 $aComputer science?Mathematics 606 $aData structures (Computer science) 606 $aTransportation 606 $aData mining 606 $aOperating systems (Computers) 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aTransportation$3https://scigraph.springernature.com/ontologies/product-market-codes/119000 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aData structures (Computer science). 615 0$aTransportation. 615 0$aData mining. 615 0$aOperating systems (Computers). 615 14$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aData Structures. 615 24$aTransportation. 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 $a996466173903316 996 $aTransactions on Petri Nets and Other Models of Concurrency XIII$91934716 997 $aUNISA