LEADER 05981nam 22008295 450 001 9910144151903321 005 20251116234531.0 010 $a3-540-27755-2 024 7 $a10.1007/b98282 035 $a(CKB)1000000000212437 035 $a(SSID)ssj0000190858 035 $a(PQKBManifestationID)11172077 035 $a(PQKBTitleCode)TC0000190858 035 $a(PQKBWorkID)10180977 035 $a(PQKB)11454471 035 $a(DE-He213)978-3-540-27755-2 035 $a(MiAaPQ)EBC3088623 035 $a(PPN)155225758 035 $a(BIP)10825930 035 $a(EXLCZ)991000000000212437 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLectures on Concurrency and Petri Nets $eAdvances in Petri Nets /$fedited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XX, 852 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3098 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-22261-8 320 $aIncludes bibliographical references at the end of each chapters. 327 $aBusiness Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets. 330 $aThe very ?rst model of concurrent and distributed systems was introduced by C.A. Petri in his seminal Ph.D. thesis in 1964. Petri nets has remained a central model for concurrentsystemsfor40 years,andthey areoften usedasa yardstick for other models of concurrency. As a matter of fact, many other models have been developed since then, and this research area is ?ourishing today. The goal of the 4th Advanced Course on Petri Nets held in Eichsta ¨tt, Germany in September 2003 was to present applications and the theory of Petri Nets in the context of a whole range of other models. We believe that in this way the participants of the course received a broad and in-depth picture of research in concurrent and distributed systems. It is also the goal of this volume to convey this picture. The volume is based on lectures given at the Advanced Course, but in order to provide a balanced p- sentation of the ?eld, some of the lectures are not included, and some material not presented in Eichst¨ att is covered here. In particular, a series of introductory lectures was not included in this volume, as the material they covered is well - tablishedby now,andwellpresentedelsewhere (e.g.,inW. ReisigandG. Roz- berg, eds., "Lectures on Petri Nets," LNCS 1491, 1492, Springer-Verlag, 1997 - these two volumes are based on the 3rd Advanced Course on Petri Nets). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3098 606 $aLogic, Symbolic and mathematical 606 $aComputers 606 $aAlgorithms 606 $aComputer logic 606 $aComputer networks 606 $aInformation storage and retrieval 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aLogic, Symbolic and mathematical. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aComputer networks. 615 0$aInformation storage and retrieval. 615 14$aMathematical Logic and Foundations. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Communication Networks. 615 24$aInformation Storage and Retrieval. 676 $a511.35 702 $aDesel$b Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReisig$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144151903321 996 $aLectures on concurrency and petri nets$91029589 997 $aUNINA