LEADER 03931nam  22006975  450 
001 996465616103316
005 20200705131212.0
010   $a3-540-46998-2
024 7 $a10.1007/3-540-52494-0
035   $a(CKB)1000000000233516
035   $a(SSID)ssj0000321012
035   $a(PQKBManifestationID)11260274
035   $a(PQKBTitleCode)TC0000321012
035   $a(PQKBWorkID)10276811
035   $a(PQKB)10222408
035   $a(DE-He213)978-3-540-46998-8
035   $a(PPN)155197096
035   $a(EXLCZ)991000000000233516
100   $a20121227d1990      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvances in Petri Nets 1989$b[electronic resource] /$fedited by Grzegorz Rozenberg
205   $a1st ed. 1990.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1990.
215   $a1 online resource (VIII, 528 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v424
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-52494-0 
327   $aStochastic Petri nets: An elementary introduction -- Improving the efficiency of the analysis of DSPN models -- Synchronized elementary net systems -- Descriptive and analytical process algebras -- P/T-systems as abstractions of C/E-systems -- The semantics of capacities in P/T nets -- Petri net tool overview 1989 -- Equivalence transformations of PrT-Nets -- A reduction theory for coloured nets -- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets -- S-CORTŪ: A method for the development of electronic payment systems -- Timed Petri nets and application to multi-stage production systems -- Petri net systems and their closure properties -- Occam and the transputer -- About the concurrent behaviour of EN systems: Definability and closure results -- Petri nets and flexible manufacturing -- Some properties of timed nets under the earliest firing rule -- A comparative study of different techniques for semi-flows computation in place/transition nets -- Elementary net systems and dynamic logic -- Representation of a swapping class by one net -- Design methods based on nets -- CEDISYS compositional distributed systems state of the art, research goals, references.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v424
606   $aComputers
606   $aMathematics
606   $aAlgorithms
606   $aComputer logic
606   $aMicroprocessors
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009
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$aMathematics.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aMicroprocessors.
615 14$aComputation by Abstract Devices.
615 24$aTheory of Computation.
615 24$aMathematics, general.
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   $a996465616103316
996   $aAdvances in Petri Nets 1989$92830557
997   $aUNISA