LEADER 05664nam 22008055 450 001 9910143456903321 005 20250730110303.0 010 $a3-540-48745-X 024 7 $a10.1007/3-540-48745-X 035 $a(CKB)1000000000211094 035 $a(SSID)ssj0000321319 035 $a(PQKBManifestationID)11220355 035 $a(PQKBTitleCode)TC0000321319 035 $a(PQKBWorkID)10262868 035 $a(PQKB)10998274 035 $a(DE-He213)978-3-540-48745-6 035 $a(MiAaPQ)EBC3071676 035 $a(MiAaPQ)EBC6486324 035 $a(PPN)155218859 035 $a(BIP)48876821 035 $a(EXLCZ)991000000000211094 100 $a20121227d1999 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplication and Theory of Petri Nets 1999 $e20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings /$fedited by Susanna Donatelli, Jetty Kleijn 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1999. 215 $a1 online resource (CDXL, 432 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v1639 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-66132-8 320 $aIncludes bibliographical references and index. 327 $aDesign, 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v1639 606 $aComputer science 606 $aComputer networks 606 $aLogic, Symbolic and mathematical 606 $aMicroprocessors 606 $aComputer architecture 606 $aSoftware engineering 606 $aTheory of Computation 606 $aComputer Communication Networks 606 $aMathematical Logic and Foundations 606 $aProcessor Architectures 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aComputer networks. 615 0$aLogic, Symbolic and mathematical. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Foundations. 615 24$aProcessor Architectures. 615 24$aSoftware Engineering. 676 $a511.3 702 $aDonatelli$b Susanna 702 $aKleijn$b Jetty 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143456903321 996 $aApplication and theory of petri nets 1999$92243016 997 $aUNINA