01338nam 2200421 450 991015030790332120170907081226.01-5361-0453-1(CKB)3710000000942763(MiAaPQ)EBC4745855(EXLCZ)99371000000094276320161017h20172017 uy| 0engurcnu||||||||rdacontentrdamediardacarrierTitanium alloys types, properties, and research insights /Jane Perry, editorHauppauge, New York :Nova Science Publishers, Incorporated,[2017]©20171 online resource (122 pages) illustrationsChemistry research and applicationsMechanical engineering theory and applications1-5361-0437-X Includes bibliographical references and index.Chemistry research and applications series.Mechanical engineering theory and applications.Titanium alloysTitanium alloys.620.1/89322Perry Jane(Science writer),MiAaPQMiAaPQMiAaPQBOOK9910150307903321Titanium alloys2890992UNINA05664nam 22008055 450 991014345690332120250730110303.03-540-48745-X10.1007/3-540-48745-X(CKB)1000000000211094(SSID)ssj0000321319(PQKBManifestationID)11220355(PQKBTitleCode)TC0000321319(PQKBWorkID)10262868(PQKB)10998274(DE-He213)978-3-540-48745-6(MiAaPQ)EBC3071676(MiAaPQ)EBC6486324(PPN)155218859(BIP)48876821(EXLCZ)99100000000021109420121227d1999 u| 0engurnn|008mamaatxtccrApplication and Theory of Petri Nets 1999 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings /edited by Susanna Donatelli, Jetty Kleijn1st ed. 1999.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1999.1 online resource (CDXL, 432 p.) Lecture Notes in Computer Science,1611-3349 ;1639Bibliographic Level Mode of Issuance: Monograph3-540-66132-8 Includes bibliographical references and index.Design, Simulation, and Implementation of Hybrid Systems -- Efficient Reachability Set Generation and Storage Using Decision Diagrams -- Structural Methods to Improve the Symbolic Analysis of Petri Nets -- Stubborn Sets for Standard Properties -- Petri Net Based Behavioural Specification of CORBA Systems -- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes -- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems -- Autonomous Continuous P/T Systems -- An Approach to the Analysis of Interworking Traders -- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets -- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation -- Monitoring Discrete Event Systems Using Petri Net Embeddings -- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets -- Theoretical Aspects of Recursive Petri Nets -- Petri Net Theory — Problems Solved by Commutative Algebra -- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem -- Net Theory and Workflow Models -- Concurrent Implementation of Asynchronous Transition Systems -- Trace Channel Nets -- Reasoning about Algebraic Generalisation of Petri Nets -- The Box Algebra —; A Model of Nets and Process Expressions -- Detection of Illegal Behaviours Based on Unfoldings -- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets -- Verifying Intuition — ILF Checks DAWN Proofs.This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. Typically there are some 150-200 participants and usually one third of these come from industry, while the rest are from universities and research institutions. The conferences and a number of other activitiesare co- dinatedbyasteering committeeformedby: G.Balbo (Italy),J. Billington(A- tralia), C. Girault (France), K. Jensen (Denmark), S. Kumagai (Japan), G. De Michelis (Italy), T. Murata (U.S.A.), C.A. Petri (Germany; honorary member) W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chair), M. Silva (Spain). The 1999 Petri net conference took place in Williamsburg, Virginia, and was organized by the Department of Computer Science of The College of William and Mary, Williamsburg. This was the second time the conference had been organized in the United States. We received 45 submissions from 15 countries on 5 continents of which 21 accepted for presentation. The submitted papers were evaluated by a program committee with the following members: W. van der Aalst (The Netherlands), P. Azema (France), W. Brauer (Germany), S. Christensen (Denmark), A. Desrochers (U.S.A.), S. Donatelli (Italy; co-chair), C. Girault (France), L. Gomes (Portugal), J. Hillston (United Kingdom), E.Lecture Notes in Computer Science,1611-3349 ;1639Computer scienceComputer networksLogic, Symbolic and mathematicalMicroprocessorsComputer architectureSoftware engineeringTheory of ComputationComputer Communication NetworksMathematical Logic and FoundationsProcessor ArchitecturesSoftware EngineeringComputer science.Computer networks.Logic, Symbolic and mathematical.Microprocessors.Computer architecture.Software engineering.Theory of Computation.Computer Communication Networks.Mathematical Logic and Foundations.Processor Architectures.Software Engineering.511.3Donatelli SusannaKleijn JettyMiAaPQMiAaPQMiAaPQBOOK9910143456903321Application and theory of petri nets 19992243016UNINA