LEADER 03876nam  22005175  450 
001 996465691003316
005 20200706044642.0
010   $a3-540-47926-0
024 7 $a10.1007/3-540-17906-2
035   $a(CKB)1000000000230628
035   $a(SSID)ssj0000325625
035   $a(PQKBManifestationID)11246610
035   $a(PQKBTitleCode)TC0000325625
035   $a(PQKBWorkID)10325014
035   $a(PQKB)11740424
035   $a(DE-He213)978-3-540-47926-0
035   $a(PPN)155192485
035   $a(EXLCZ)991000000000230628
100   $a20121227d1987      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986$b[electronic resource] $ePart 2: Petri Nets: Applications and Relationships to Other Models of Concurrency /$fedited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
205   $a1st ed. 1987.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1987.
215   $a1 online resource (X, 519 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v255
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-17906-2 
327   $ato Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS ? and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- ?Forgotten topics? of net theory.
330   $aThe present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v255
606   $aComputer communication systems
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
615  0$aComputer communication systems.
615 14$aComputer Communication Networks.
676   $a004.6
702   $aBrauer$b Wilfried$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
906   $aBOOK
912   $a996465691003316
996   $aAdvances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986$92831322
997   $aUNISA