04424nam 22006495 450 99646619400331620200705022532.03-662-48650-410.1007/978-3-662-48650-4(CKB)4340000000001300(SSID)ssj0001585615(PQKBManifestationID)16264296(PQKBTitleCode)TC0001585615(PQKBWorkID)14864583(PQKB)10923503(DE-He213)978-3-662-48650-4(MiAaPQ)EBC6297342(MiAaPQ)EBC5577961(Au-PeEL)EBL5577961(OCoLC)932003168(PPN)190529156(EXLCZ)99434000000000130020151123d2015 u| 0engurnn#008mamaatxtccrTransactions on Petri Nets and Other Models of Concurrency X[electronic resource] /edited by Maciej Koutny, Jörg Desel, Serge Haddad1st ed. 2015.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2015.1 online resource (XV, 177 p. 41 illus. in color.)Transactions on Petri Nets and Other Models of Concurrency,1867-7193 ;9410Bibliographic Level Mode of Issuance: Monograph3-662-48649-0 Verification of Logs - Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model -- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).These 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 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014, and the 14th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 8 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.Transactions on Petri Nets and Other Models of Concurrency,1867-7193 ;9410Software engineeringComputer logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Computer logic.Software Engineering.Logics and Meanings of Programs.511.3Koutny Maciejedthttp://id.loc.gov/vocabulary/relators/edtDesel Jörgedthttp://id.loc.gov/vocabulary/relators/edtHaddad Sergeedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466194003316Transactions on Petri Nets and Other Models of Concurrency X2831824UNISA05416nam 22007215 450 991014875350332120251030105553.09781137591043113759104810.1057/978-1-137-59104-3(CKB)3710000000922060(DE-He213)978-1-137-59104-3(MiAaPQ)EBC4730760(PPN)259472875(Perlego)3508305(EXLCZ)99371000000092206020161028d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierEnergy Union Europe's New Liberal Mercantilism? /edited by Svein S. Andersen, Andreas Goldthau, Nick Sitter2nd ed. 2017.London :Palgrave Macmillan UK :Imprint: Palgrave Macmillan,2017.1 online resource (XXI, 253 p. 1 illus.) International Political Economy Series,2662-24919781137591050 1137591056 Includes bibliographical references at the end of each chapters and index.Preface; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Part I. The EU and the Global Political Economy of Energy -- Part I Introduction; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Chapter 1. From Low to High politics? Regulatory and Economic Power Europe; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Chapter 2. The Road to Energy Union; Jean-Arnold Vinois -- Chapter 3. The Global Dimension of EU Energy Policy; Øystein Noreng -- Part II. High Politics: The New Security Dimension of European Energy Policy -- Part II Introduction; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Chapter 4. Geopolitics and the Foreign Policy Dimension of EU Energy Security; Luca Franza and Coby van der Linde -- Chapter 5. Wither the EU's Market-Making: from Liberalization to Securitization?; Tim Boersma and Andreas Goldthau -- Chapter 6. The Hunter Becomes the Hunted: Gazprom Encounters EU Regulation; Indra Overland -- Part III. Low Politics: The Regulatory Dimension of European Energy Policy -- Part III Introduction; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Chapter 7. An Industry Perspective: The Primacy of Market-Building; Sebastian Eyre -- Chapter 8. Regulating for Consumers? The Agency for Cooperation of Energy Regulators; Michael C. Labelle -- Chapter 9. The Energy Network: Infrastructure as the Hardware of the Energy Union; Adina Crisan and Maximilian Kuhn -- Part IV. Contesting the Energy Union -- Part IV Introduction; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Chapter 10. An Odd Pro-Market Trio: Germany, the UK and Norway; Svein S. Andersen, Andreas Goldthau and Nick Sitter -- Chapter 11. No United Front: The Political Economy of Energy in Central and Eastern Europe; Andrej Nosko and Matúš Mišík -- Chapter 12. Something for Everyone: Political Fragmentation and Policy Accommodation in the European Parliament; Michiel van Hulten and Nick Sitter -- Conclusion: Liberal Mercantilism?; Svein S. Andersen, Andreas Goldthau and Nick Sitter. .This book contributes to an ongoing debate about the EU as a global actor, the organization’s ability to speak with one voice in energy affairs, and the external dimension of the regulatory state. Investigating whether the Energy Union amounts to a fundamental shift towards Europe's new 'Liberal Mercantilism', it gathers high-level contributors from academia and the policy world to shed light on the changing nature of the EU's use of power in one of its most crucial policy fields. It argues that the Energy Union epitomizes a change in the EU’s approach to managing its economic power. Whilst the EU remains committed to a liberal approach to international political economy, it seems ready to promote regulation for the purpose of augmenting its own power at the expense of others, notably Russia. This edited collection will appeal to political scientists, economists and energy experts.International Political Economy Series,2662-2491EuropePolitics and governmentInternational economic relationsEnergy policyEnergy policyPower resourcesGlobalizationEuropean PoliticsInternational Political Economy’Energy Policy, Economics and ManagementNatural Resource and Energy EconomicsGlobalizationEuropePolitics and government.International economic relations.Energy policy.Energy policy.Power resources.Globalization.European Politics.International Political Economy’.Energy Policy, Economics and Management.Natural Resource and Energy Economics.Globalization.320.94Andersen Svein Sedthttp://id.loc.gov/vocabulary/relators/edtGoldthau Andreasedthttp://id.loc.gov/vocabulary/relators/edtSitter Nickedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910148753503321Energy Union2188608UNINA