LEADER 05431nam 22007455 450 001 996466157103316 005 20200702111750.0 010 $a3-540-49408-1 024 7 $a10.1007/3-540-60029-9 035 $a(CKB)1000000000234290 035 $a(SSID)ssj0000321315 035 $a(PQKBManifestationID)11231234 035 $a(PQKBTitleCode)TC0000321315 035 $a(PQKBWorkID)10263033 035 $a(PQKB)11271765 035 $a(DE-He213)978-3-540-49408-9 035 $a(PPN)155218131 035 $a(EXLCZ)991000000000234290 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplication and Theory of Petri Nets 1995$b[electronic resource] $e16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings /$fedited by Giorgio DeMichelis, Michel Diaz 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (X, 518 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v935 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60029-9 327 $aA refined view of the box algebra -- Distributed algorithms and causally consistent observations (abstract) -- Petri Nets for information systems modelling -- On liveness in Extended Non Self-Controlling Nets -- An algebraic semantics for hierarchical P/T nets -- A Petri net based environment for the design of event-driven interfaces -- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets -- A class of composable high level Petri nets -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment for developing concurrent application -- A notion of equivalence for stochastic Petri nets -- Parallel state space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning -- Symbolic reachability graph and partial symmetries -- Causal behaviours and nets -- From Coloured Petri Nets to Object Petri Nets -- Handles and reachability analysis of free choice nets -- Performance bounds for stochastic timed Petri nets -- An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets -- Subclasses of recognizable trace languages -- Verification of asynchronous circuits by BDD-based model checking of Petri nets -- Parameterized reachability trees for algebraic Petri nets -- Efficient simulation of Thor nets -- Functional equivalences of Petri nets -- Hierarchical Time Stream Petri Net: A model for hypermedia systems -- Markov Regenerative Stochastic Petri Nets with age type general transitions -- Timed processes of Timed Petri Nets. 330 $aThis book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v935 606 $aComputers 606 $aArchitecture, Computer 606 $aMathematical logic 606 $aAlgorithms 606 $aComputer logic 606 $aMicroprocessors 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 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$aArchitecture, Computer. 615 0$aMathematical logic. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aMicroprocessors. 615 14$aComputation by Abstract Devices. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Foundations. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aProcessor Architectures. 676 $a004.0151 702 $aDeMichelis$b Giorgio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDiaz$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466157103316 996 $aApplication and theory of Petri nets 1995$91501993 997 $aUNISA