LEADER 04595nam 22007335 450 001 996466080403316 005 20200707023936.0 010 $a3-540-47631-8 024 7 $a10.1007/3-540-56689-9 035 $a(CKB)1000000000233958 035 $a(SSID)ssj0000321016 035 $a(PQKBManifestationID)11230068 035 $a(PQKBTitleCode)TC0000321016 035 $a(PQKBWorkID)10262411 035 $a(PQKB)11082400 035 $a(DE-He213)978-3-540-47631-3 035 $a(PPN)15520193X 035 $a(EXLCZ)991000000000233958 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Petri Nets 1993$b[electronic resource] /$fedited by Grzegorz Rozenberg 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (X, 462 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v674 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56689-9 327 $aReplacement of open interface subnets and stable state transformation equivalence -- Bounded self-stabilizing Petri nets -- Generative families of positive invariants in Coloured nets sub-classes -- Autonomous and timed continuous Petri nets -- The Devnet: A Petri net for discrete event simulation -- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets -- A concept of hierarchical Petri nets with building blocks -- Petri net tool overview 1992 -- The minimal coverability graph for Petri nets -- Distributed implementation of CCS -- Saturation conditions for Stochastic Petri Nets -- Marking optimization in timed event graphs -- Parameterized reachability trees for Predicate/Transition nets -- Iterative decomposition and aggregation of Stochastic marked graph Petri nets -- Constraints and extensions in a Calculus of EN systems -- Comparability orders and measurement -- Deterministic systems of sequential processes: A class of structured Petri nets -- Compositional state space generation. 330 $aThe main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v674 606 $aArchitecture, Computer 606 $aComputers 606 $aAlgorithms 606 $aComputer logic 606 $aMicroprocessors 606 $aComputer communication systems 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 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 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aArchitecture, Computer. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aMicroprocessors. 615 0$aComputer communication systems. 615 14$aComputer System Implementation. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aProcessor Architectures. 615 24$aComputer Communication Networks. 676 $a003.3 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466080403316 996 $aAdvances in Petri nets 1993$91490831 997 $aUNISA