LEADER 03682nam 2200637 450 001 996466088703316 005 20220816224701.0 010 $a3-540-47919-8 024 7 $a10.1007/978-3-540-47919-2 035 $a(CKB)1000000000548878 035 $a(SSID)ssj0000325626 035 $a(PQKBManifestationID)12068808 035 $a(PQKBTitleCode)TC0000325626 035 $a(PQKBWorkID)10324594 035 $a(PQKB)10008326 035 $a(DE-He213)978-3-540-47919-2 035 $a(MiAaPQ)EBC5592194 035 $a(Au-PeEL)EBL5592194 035 $a(OCoLC)1066183610 035 $a(MiAaPQ)EBC6806138 035 $a(Au-PeEL)EBL6806138 035 $a(OCoLC)1285784111 035 $a(PPN)155181114 035 $a(EXLCZ)991000000000548878 100 $a20220816d1987 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aPetri nets, central models and their properties $eproceedings of an advanced course, Bad Honnef, 8.-19. September 1986 /$fedited by W. Brauer, W. Reisig and G. Rozenberg 205 $a1st ed. 1987. 210 1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[1987] 210 4$d©1987 215 $a1 online resource (X, 481 p.) 225 1 $aLecture Notes in Computer Science ;$v254 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-17905-4 327 $aContents: Introduction to Part I -- Prologue -- Elementary Net Systems - Fundamentals -- Place/Transition Systems - Fundamentals -- High-Level Nets - Fundamentals -- Special Topics -- Other Petri Net Models -- Addresses of the authors. 330 $aPetri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in­ formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets. 410 0$aLecture notes in computer science ;$v254. 606 $aMachine theory 606 $aPetri nets 615 0$aMachine theory. 615 0$aPetri nets. 676 $a511.3 702 $aBrauer$b Wilfried 702 $aReisig$b Wolfgang$f1950- 702 $aRozenberg$b Grzegorz 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466088703316 996 $aPetri Nets: Central Models and Their Properties$92831299 997 $aUNISA