LEADER 02325oam 2200565 450 001 9910704182303321 005 20160425144308.0 035 $a(CKB)5470000002437838 035 $a(OCoLC)929988365 035 $a(EXLCZ)995470000002437838 100 $a20151119d2015 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aContinuation of the national emergency with respect to Sudan $emessage from the President of the United States transmitting notification, consistent with Sec. 202(d) of the National Emergency Act [50 U.S.C. 1622], that the national emergency with respect to Sudan declared in Executive Order 13067 of November 3, 1997, expanded on April 26, 2006 in Executive Order 13400, and the additional steps taken in Executive Order 13412 of October 13, 2006, shall continue in effect for one year, beginning November 3, 2015 210 1$aWashington :$cU.S. Government Publishing Office,$d2015. 215 $a1 online resource (3 pages) 225 1 $aHouse document / 113th Congress, 2d session ;$v114-71 300 $a"Referred to the Committee on Foreign Affairs." 300 $a"October, 29, 2015." 300 $aTitle from title screen (viewed Nov. 19, 2015). 517 $aContinuation of the national emergency with respect to Sudan 606 $aEconomic sanctions, American$zSudan 606 $aDiplomatic relations$2fast 606 $aEconomic sanctions, American$2fast 607 $aUnited States$xForeign relations$zSudan 607 $aSudan$xForeign relations$zUnited States 607 $aSudan$2fast 607 $aUnited States$2fast 608 $aLegislative materials.$2fast 608 $aLegislative materials.$2lcgft 615 0$aEconomic sanctions, American 615 7$aDiplomatic relations. 615 7$aEconomic sanctions, American. 702 $aObama$b Barack 712 02$aUnited States.$bCongress.$bHouse.$bCommittee on Foreign Affairs, 801 0$bGPO 801 1$bGPO 801 2$bSTF 801 2$bOCLCF 801 2$bOCLCO 801 2$bCOO 801 2$bOCLCO 801 2$bGPO 906 $aBOOK 912 $a9910704182303321 996 $aContinuation of the national emergency with respect to Sudan$93498081 997 $aUNINA LEADER 07302nam 22008175 450 001 9910144151703321 005 20251116234542.0 010 $a3-540-27793-5 024 7 $a10.1007/b98283 035 $a(CKB)1000000000212438 035 $a(DE-He213)978-3-540-27793-4 035 $a(SSID)ssj0000104583 035 $a(PQKBManifestationID)11646045 035 $a(PQKBTitleCode)TC0000104583 035 $a(PQKBWorkID)10085965 035 $a(PQKB)11267880 035 $a(MiAaPQ)EBC3088630 035 $a(PPN)155216791 035 $a(EXLCZ)991000000000212438 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aApplications and Theory of Petri Nets 2004 $e25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings /$fedited by Jordi Cortadella, Wolfgang Reisig 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XI, 505 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3099 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-22236-7 320 $aIncludes bibliographical references at the end of each chapter and index. 327 $aInvited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. 330 $aThis volume contains the proceedings of the 25th International Conference on Application and Theory of Petri Nets (ICATPN 2004). The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferenceshave 100?150participants,one third of these c- ing from industry, whereas the others are from universities and research insti- tions. The conferences always take place in the last week of June. The conference and a number of other activities are coordinated by a ste- ing committee with the following members: Wil van der Aalst (The Neth- lands),JonathanBillington(Australia),JrgDesel(Germany),SusannaDonatelli (Italy),SergeHaddad(France),KurtJensen(Denmark),MaciejKoutny(United Kingdom), Sadatoshi Kumagai(Japan), GiorgioDe Michelis (Italy), Tadao- rata (USA), Carl Adam Petri (Germany, Honorary Member), Wolfgang Reisig (Germany),GrzegorzRozenberg(TheNetherlands,Chairman)andManuelSilva (Spain). The 2004 conference was organized by the Department of Computer Science of the University of Bologna, Italy. We would like to thank the organizing c- mittee, chaired by Roberto Gorrieri, for the e?ort invested in making the event successful. We are also grateful to the following sponsoring institutions and - ganizations: Associazione Italiana per l?Informatica ed il Calcolo Automatico (AICA), Microsoft Research, and Network Project & Solutions (NPS Group). We received a total of 62 submissions from 26 di?erent countries. The p- gramcommittee?nallyselected19regularpapersand5toolpresentationpapers. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Gianfranco Ciardo, Roberto Gorrieri, Thomas A. H- zinger, Wojciech Penczek, Lucia Pomello and William H. Sanders. Their papers are also included in this volume. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3099 606 $aLogic, Symbolic and mathematical 606 $aComputers 606 $aComputer science?Mathematics 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer networks 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 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 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aLogic, Symbolic and mathematical. 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aComputer networks. 615 14$aMathematical Logic and Foundations. 615 24$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aComputer Communication Networks. 676 $a511.35 702 $aCortadella$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReisig$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Applications and Theory of Petri Nets. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144151703321 996 $aApplications and Theory of Petri Nets 2004$92185886 997 $aUNINA