LEADER 06292nam 22007335 450 001 996466085503316 005 20200706063453.0 010 $a3-540-47759-4 024 7 $a10.1007/3-540-56863-8 035 $a(CKB)1000000000233977 035 $a(SSID)ssj0000321313 035 $a(PQKBManifestationID)11241014 035 $a(PQKBTitleCode)TC0000321313 035 $a(PQKBWorkID)10263730 035 $a(PQKB)11229063 035 $a(DE-He213)978-3-540-47759-4 035 $a(PPN)155167243 035 $a(EXLCZ)991000000000233977 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplication and Theory of Petri Nets 1993$b[electronic resource] $e14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings /$fedited by Marco Ajmone Marsan 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (X, 598 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v691 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56863-8 327 $aModeling and enactment of workflow systems -- Interleaving functional and performance structural analysis of net models -- FSPNs: Fluid stochastic Petri nets -- Taking advantages of temporal redundancy in High Level Petri Nets implementations -- A subset of Lotos with the computational power of Place/Transition-nets -- An efficient algorithm for finding structural deadlocks in colored Petri nets -- Synthesis of net systems -- Hierarchies in colored GSPNs -- Variable reasoning and analysis about uncertainty with fuzzy Petri nets -- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency -- Transient analysis of deterministic and stochastic Petri nets -- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs -- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems -- Shortest paths in reachability graphs -- Construction of S-invariants and S-components for refined Petri boxes -- Compositional liveness properties of EN-systems -- Analysis of place/transition nets with timed arcs and its application to batch process control -- On well-formed nets and optimizations in enabling tests -- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net -- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model -- Marking optimization of stochastic timed event graphs -- A client-server protocol for the composition of Petri nets -- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks -- Liveness and home states in equal conflict systems -- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling -- Interval timed coloured petri nets and their analysis -- Integration of specification for modeling and specification for system design -- New priority-lists for scheduling in timed Petri nets -- A unified approach for reasoning about conflict-free Petri nets -- A colored Petri Net model for a naval command and control system -- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application -- On net modeling of industrial size concurrent systems -- Analysis of the TMS320C40 communication channels using timed Petri Nets -- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN -- Petri Nets modeling in pipelined microprocessor design. 330 $aThis volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. 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 whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v691 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aMathematical logic 606 $aComputers 606 $aAlgorithms 606 $aComputer logic 606 $aMathematical and Computational Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T11006 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 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 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aMathematical logic. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aComputer logic. 615 14$aMathematical and Computational Engineering. 615 24$aApplications of Mathematics. 615 24$aMathematical Logic and Foundations. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 676 $a519 702 $aAjmone Marsan$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466085503316 996 $aApplication and theory of Petri nets 1993$91501934 997 $aUNISA