LEADER 04849nam  22007335  450 
001 996465760003316
005 20200629132527.0
010   $a3-540-47258-4
024 7 $a10.1007/3-540-55610-9
035   $a(CKB)1000000000233836
035   $a(SSID)ssj0000321015
035   $a(PQKBManifestationID)11255486
035   $a(PQKBTitleCode)TC0000321015
035   $a(PQKBWorkID)10262410
035   $a(PQKB)10978848
035   $a(DE-He213)978-3-540-47258-2
035   $a(PPN)155186094
035   $a(EXLCZ)991000000000233836
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvances in Petri Nets 1992$b[electronic resource] /$fedited by Grzegorz Rozenberg
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (VIII, 476 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v609
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55610-9 
327   $aEsprit basic research action 3148 DEMON (Design methods based on nets) ? Aims, scope and achievements ? -- The box calculus: A new causal algebra with multi-label communication -- Modular functional modelling of petri nets with individual tokens -- Interleaving semantics and action refinement with atomic choice -- Maximality preservation and the ST-idea for action refinements -- A fifo-net model for processes with asynchronous communication -- A basic-net algebra for program semantics and its application to occam -- The effect of Vector synchronization: Residue and loss -- Modelling systems with dynamic priorities -- On distributed languages and models for concurrency -- Partial words versus processes: A short comparison -- A survey of basic net models and modular net classes -- Structural techniques and performance bounds of stochastic Petri net models -- A survey of recognizable languages of infinite traces -- A survey of equivalence notions for net based systems.
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 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. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v609
606   $aComputers
606   $aAlgorithms
606   $aComputer logic
606   $aMicroprocessors
606   $aComputer communication systems
606   $aOperating systems (Computers)
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
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
615  0$aComputers.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aMicroprocessors.
615  0$aComputer communication systems.
615  0$aOperating systems (Computers).
615 14$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.
615 24$aOperating Systems.
676   $a004.0151
702   $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465760003316
996   $aAdvances in Petri nets 1992$91501935
997   $aUNISA