LEADER 04596nam 22007575 450 001 996465291903316 005 20200704105443.0 010 $a3-540-47600-8 024 7 $a10.1007/BFb0019965 035 $a(CKB)1000000000233688 035 $a(SSID)ssj0000321014 035 $a(PQKBManifestationID)11283914 035 $a(PQKBTitleCode)TC0000321014 035 $a(PQKBWorkID)10263817 035 $a(PQKB)11607109 035 $a(DE-He213)978-3-540-47600-9 035 $a(PPN)155189298 035 $a(EXLCZ)991000000000233688 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Petri Nets 1991$b[electronic resource] /$fedited by Grzegorz Rozenberg 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (VIII, 576 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v524 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-54398-8 327 $aDelays in synchronized elementary net systems -- Proving temporal properties of Petri nets -- The complexity of testing the equivalence of transition sequences -- Use of reentrant nets in modular analysis of colored nets -- On abstractions of nets -- Semantics, composition and net properties of algebraic high-level nets -- Top-down synthesis of live and bounded free choice nets -- Hood nets -- Distributable nets -- Computer supported design of kanban controlled production -- Optimal simulations, nets and reachability graphs -- An integrated software development methodology based on hierarchical colored Petri nets -- On net systems generated by process foldings -- On liveness preservation by composition of nets via a set of places -- Software implementation of petri nets and compilation of rule-based systems -- Bibliography of Petri nets 1990. 330 $aThe main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v524 606 $aComputers 606 $aComputer communication systems 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aAlgorithms 606 $aComputer logic 606 $aMicroprocessors 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 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 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 615 0$aComputers. 615 0$aComputer communication systems. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aMicroprocessors. 615 14$aComputation by Abstract Devices. 615 24$aComputer Communication Networks. 615 24$aApplications of Mathematics. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aProcessor Architectures. 676 $a004.0151 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465291903316 996 $aAdvances in Petri nets 1991$91490929 997 $aUNISA