04083nam 22006495 450 99619999630331620230223051725.03-319-07734-110.1007/978-3-319-07734-5(CKB)3710000000143856(SSID)ssj0001274634(PQKBManifestationID)11749537(PQKBTitleCode)TC0001274634(PQKBWorkID)11334007(PQKB)11390351(DE-He213)978-3-319-07734-5(MiAaPQ)EBC3093283(PPN)179766244(EXLCZ)99371000000014385620140630d2014 u| 0engurnn|008mamaatxtccrApplication and Theory of Petri Nets and Concurrency[electronic resource] 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /edited by Gianfranco Ciardo, Ekkart Kindler1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XIV, 395 p. 155 illus.) Theoretical Computer Science and General Issues,2512-2029 ;8489Bibliographic Level Mode of Issuance: Monograph3-319-07733-3 Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications.This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.Theoretical Computer Science and General Issues,2512-2029 ;8489Computer scienceSoftware engineeringCompilers (Computer programs)Computer Science Logic and Foundations of ProgrammingSoftware EngineeringCompilers and InterpretersComputer science.Software engineering.Compilers (Computer programs).Computer Science Logic and Foundations of Programming.Software Engineering.Compilers and Interpreters.004.24015115Ciardo Gianfrancoedthttp://id.loc.gov/vocabulary/relators/edtKindler Ekkartedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996199996303316Application and Theory of Petri Nets and Concurrency1905519UNISA05695nam 2200685 a 450 991081682450332120240314011432.01-118-62999-X1-118-62987-61-118-63016-5(CKB)2670000000392108(EBL)1273519(OCoLC)830124718(SSID)ssj0000917547(PQKBManifestationID)11576131(PQKBTitleCode)TC0000917547(PQKBWorkID)10891946(PQKB)10727329(MiAaPQ)EBC1273519(DLC) 2013010397(Au-PeEL)EBL1273519(CaPaEBR)ebr10731784(CaONFJC)MIL504424(PPN)219563942(EXLCZ)99267000000039210820150303d2013 uy 0engur|n|---|||||txtccrTransition-metal-mediated aromatic ring construction /edited by Ken Tanaka1st ed.Hoboken, N.J. Wileyc20131 online resource (831 p.)Description based upon print version of record.1-118-14892-4 Includes bibliographical references and index.TRANSITION-METAL-MEDIATEDAROMATIC RING CONSTRUCTION; CONTENTS; CONTRIBUTORS; PREFACE; PART I [2 + 2 + 2] AND RELATED CYCLOADDITION REACTIONS; 1 Cobalt-Mediated [2+2+2] Cycloaddition; 1.1 Introduction; 1.2 Synthesis of Benzenes; 1.2.1 New Catalytic Systems; 1.2.2 New Cyclization Partners; 1.2.3 Chemo- and Regioselectivity Issues; 1.3 Synthesis of Heterocycles; 1.3.1 New Catalytic Systems; 1.3.2 New Cyclization Partners; 1.3.3 Chemo- and Regioselectivity Issues; 1.4 Mechanistic Aspects; 1.5 Synthetic Applications; 1.5.1 Natural Products and Naturally Occurring Scaffolds; 1.5.2 Polyphenylenes1.6 Summary and OutlookReferences; 2 Nickel-Mediated [2+2+2] Cycloaddition; 2.1 Introduction; 2.2 Synthesis of Benzenes; 2.3 Cycloaddition of Alkynes and Nitriles; 2.4 Cycloaddition of Alkynes and Imines; 2.5 Cycloaddition of Alkynes and Carbon Dioxide; 2.6 Cycloaddition of Alkynes and Isocyanates; 2.7 Cycloaddition of Alkynes and Carbodiimide; 2.8 Cycloaddition of Diynes and Ketenes; 2.9 Cycloaddition of Arynes; 2.10 Mechanism; 2.10.1 Coupling of Alkynes and Allene; 2.10.2 Cycloaddition of Alkyne and Nitrile; 2.10.3 Cycloaddition of Alkynes and Heterocumulenes; 2.10.4 Cycloaddition of Arynes2.11 Summary and OutlookReferences; 3 Ruthenium-Mediated [2+2+2] Cycloaddition; 3.1 Introduction; 3.2 Synthesis of Benzenes; 3.2.1 Cyclotrimerization; 3.2.2 Cross-Cyclotrimerization; 3.2.3 Partially Intramolecular Cyclotrimerizations; 3.2.4 Fully Intramolecular Cyclotrimerization; 3.2.5 Cyclotrimerization of Alkynylboronates and 1-Haloalkynes; 3.3 Synthesis of Heterocycles; 3.3.1 Cyclocotrimerization of Alkynes with Nitriles to Form Pyridines; 3.3.2 Cyclocotrimerization of Alkynes with Heterocumulenes; 3.4 Mechanism of Ruthenium-Catalyzed [2+2+2] Cycloadditions; 3.5 Synthetic Applications3.5.1 Synthesis of Biologically Interesting Molecules3.5.2 Synthesis of Polyaromatic Functional Molecules; 3.6 Summary and Outlook; References; 4 Rhodium-Mediated [2+2+2] Cycloaddition; 4.1 Introduction; 4.2 Synthesis of Benzenes; 4.2.1 Intermolecular Reactions Catalyzed by Neutral Rhodium Complexes; 4.2.2 Intermolecular Reactions Catalyzed by Cationic Rhodium Complexes; 4.2.3 Intramolecular Reactions Catalyzed by Neutral Rhodium Complexes; 4.2.4 Intramolecular Reactions Catalyzed by Cationic Rhodium Complexes; 4.3 Synthesis of Pyridines; 4.3.1 Intermolecular Reactions4.3.2 Intramolecular Reactions4.4 Synthesis of Pyridones and Related Heterocycles; 4.4.1 Intermolecular Reactions; 4.4.2 Intramolecular Reactions; 4.5 Summary and Outlook; References; 5 Iridium-Mediated [2+2+2] Cycloaddition; 5.1 Introduction; 5.2 Synthesis of Benzene Derivatives; 5.3 Synthesis of Heterocyclic Compounds; 5.4 Mechanistic Aspects; 5.5 Summary and Outlook; References; 6 [2+2+2] and Related Cycloadditions Mediated by Other Transition Metals; 6.1 Introduction; 6.2 Palladium-Catalyzed [2+2+2] and [2+2+1] Cycloadditions; 6.2.1 [2+2+2] Cycloaddition; 6.2.2 [2+2+1] Cycloaddition6.3 Iron-Catalyzed [2+2+2] Cycloaddition"Recent significant advances with transition-metal-mediated reactions have opened promising new routes to complex aromatic compounds and have been the subject of intense research in recent years. Featuring practical and efficient reactions to help organic chemists synthesize an important class of compounds, Transition-Metal-Mediated Aromatic Ring Construction provides a valuable guide to methods, synthetic routes, and strategies to construct aromatic rings. Chapters devoted to efficient and practical reactions demonstrate how to use them for the synthesis of various complex aromatic compounds"--Provided by publisher."This book covers transition-metal-mediated reactions with applications for constructing aromatic rings, which are an important class of industrial chemical compounds"--Provided by publisher.Aromatic compoundsSynthesisTransition metal catalystsAromatic compoundsSynthesis.Transition metal catalysts.547/.6SCI013040bisacshTanaka Ken1967-1701080MiAaPQMiAaPQMiAaPQBOOK9910816824503321Transition-metal-mediated aromatic ring construction4084568UNINA