LEADER 05320nam 22007095 450 001 996465765303316 005 20200629134440.0 010 $a3-540-47270-3 024 7 $a10.1007/3-540-55676-1 035 $a(CKB)1000000000233844 035 $a(SSID)ssj0000321312 035 $a(PQKBManifestationID)11231233 035 $a(PQKBTitleCode)TC0000321312 035 $a(PQKBWorkID)10263584 035 $a(PQKB)11133874 035 $a(DE-He213)978-3-540-47270-4 035 $a(PPN)155213156 035 $a(EXLCZ)991000000000233844 100 $a20121227d1992 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplication and Theory of Petri Nets 1992$b[electronic resource] $e13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings /$fedited by Kurt Jensen 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (VIII, 404 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v616 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55676-1 327 $aPerformance issues in parallel programming -- Combining Petri Nets and other formal methods -- Place bisimulations in Petri nets -- A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets -- Refinement and simulation of nets ? a categorical characterisation -- Scheduling hard real time systems using high-level Petri nets -- Towards a modular analysis of coloured Petri nets -- A proof of the Rank Theorem for extended free choice nets -- On the product form solution for Stochastic Petri Nets -- Obtaining deadlock-preserving skeletons for coloured nets -- P-superfairness in nets -- Formal verification of an arbiter cascade -- Constructs for modeling information systems with Petri nets -- Construction of a class of safe Petri nets by presenting firing sequences -- An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets -- Hierarchical solution of generalized Stochastic Petri Nets by means of traffic processes -- Concurrency relations and the safety problem for Petri nets -- High-level nets and linear logic -- Liveness and boundedness analysis for Petri nets with event graph modules -- On weighted T-systems -- Using Petri Nets to develop programs for PLC systems -- Modelling and control of complex logistic systems for manufacturing -- Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool -- Analysis of an Ada system using coloured Petri nets and occurrence graphs -- The stubborn set method in practice -- Modeling fine grain computation via the Fusion of two extended Petri nets. 330 $aThis volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers, by G. Balbo and W. Reisig, 18 submitted papers, and seven project papers. The submitted papers and project presentations were selectedby the programme committee and a panel of referees from a large number of submissions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v616 606 $aComputers 606 $aMicroprocessors 606 $aAlgorithms 606 $aComputer communication systems 606 $aOperating systems (Computers) 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 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$aMicroprocessors. 615 0$aAlgorithms. 615 0$aComputer communication systems. 615 0$aOperating systems (Computers). 615 14$aTheory of Computation. 615 24$aComputation by Abstract Devices. 615 24$aProcessor Architectures. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aComputer Communication Networks. 615 24$aOperating Systems. 676 $a004.0151 702 $aJensen$b Kurt$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465765303316 996 $aApplication and Theory of Petri Nets 1992$92830693 997 $aUNISA